acharal

acharal

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
54 Stars
5 Forks
7 Watchers

Repositories (1)

hopes acharal/hopes Haskell

Higher Order Prolog with Extensional Semantics

54