Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
Pages
▼
Tuesday, April 6, 2021
Thursday, April 1, 2021
Tuesday, March 23, 2021
Monday, March 1, 2021
Monday, February 1, 2021
Thursday, January 21, 2021