Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.
Primary LanguageIdrisMIT LicenseMIT