vm.fail / ego
Alpha equivalence checker for arbitrary lambda terms
7
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

ego / nim / ego.nimble
321 B 12 lines
1version = "0.1.0" 2author = "ego" 3description = "Alpha-equivalence analyser for untyped lambda calculus with explicit substitutions" 4license = "MIT" 5srcDir = "src" 6bin = @["ego"] 7binDir = "." 8 9requires "nim >= 2.0.0" 10 11task test, "Run the test suite": 12 exec "nim c -r --hints:off -d:release --path:src tests/test_ego.nim"