Embeded Prolog DSL written in Idris. Essentially a translation of pure-prolog into idris, minus the parser.
Examples, documentation, etc... forthcoming.
-
Notifications
You must be signed in to change notification settings - Fork 1
Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.
License
Sintrastes/idr-pure-prolog
About
Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published