GitHub - acharal/hopes: Higher Order Prolog with Extensional Semantics - discu.eu

Linking pages

Dialogical logic programming http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/ 24 comments

Linked pages

The Haskell Tool Stack https://docs.haskellstack.org/en/stable/README/ 47 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - acharal/hopes: Higher Order Prolog with Extensional Semantics

See how to search.

Submit link to: