A tiny little logic programming language

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Danila Fedorin 3aebd99805 Add an isInt primitive predicate		1 week ago
src	Add an isInt primitive predicate	1 week ago
test	Extract latex generation to a typeclass	2 weeks ago
.gitignore	Initial commit + basic Expr impl	3 weeks ago
packages.dhall	Add an isInt primitive predicate	1 week ago
spago.dhall	Make int literals parseable	1 week ago