hopes topic
List
hopes repositories
hopes
50
Stars
6
Forks
Watchers
Higher Order Prolog with Extensional Semantics
