All Categories → No Category → hopes

Top 1 hopes open source projects

Higher Order Prolog with Extensional Semantics

✭ 43

haskell prolog Yacc Makefile interpreter hopes higher-order-logic

1-1 of 1 hopes projects