Commits

Commits on May 29, 2022

feat: add REPL support as an mtt repl command (#80 )
sloboegen
committedMay 29, 2022

Commits on May 24, 2022

fix: rename mtt from core to mtt_lib (#82 )
sloboegen
committedMay 24, 2022

Commits on May 15, 2022

Upgrade dependencies (#79 )
SmnTin
committedMay 15, 2022

Commits on May 4, 2021

Link mtt syntax description and GitHub in web version (#75 )
DanielDostanich
committedMay 4, 2021

Commits on Apr 3, 2021

refactor: rename src/ to core/ (#72 )
anton-trunov
committedApr 3, 2021

Commits on Apr 2, 2021

Commits on Mar 27, 2021

feat: run typechecker/evaluator in the browser (#56 )
sloboegen
committedMar 27, 2021

Commits on Feb 4, 2021

Improve error reporting (#51 )
GoPavel
committedFeb 4, 2021

Commits on Dec 15, 2020

test: compute factorial implemented with a fixed-point combinator and Church-encoded numerals (#47 )
Gmihtt
committedDec 15, 2020

Commits on Dec 9, 2020

fix: column location (#48 )
Gmihtt
committedDec 9, 2020

Commits on Dec 3, 2020

fix: pretty-print open terms (terms with free vars) (#46 )
anton-trunov
committedDec 3, 2020
doc: add man pages for subcommands (#45 )
anton-trunov
committedDec 3, 2020

Commits on Dec 1, 2020

Commits on Nov 21, 2020

Add source code locations to AST to improve error reporting (#31 )
Gmihtt
committedNov 21, 2020

Commits on Nov 16, 2020

Improve pretty-printer (#32 )
elmanelman
committedNov 16, 2020

Commits on Nov 6, 2020

Add regular let-expressions (#30 )
sloboegen
committedNov 6, 2020

Commits on Nov 4, 2020

doc: add https://commitlint.io to CONTRIBUTING
anton-trunov
committedNov 4, 2020

Commits on Nov 3, 2020

fix: check if a file exists before processing it (#39 )
anton-trunov
committedNov 3, 2020

Commits on Nov 2, 2020

fix: improve parser error messages and add tests (#37 )
anton-trunov
committedNov 2, 2020
fix: naming inconsistencies (#36 )
anton-trunov
committedNov 2, 2020
fix: pretty-printing for box values
anton-trunov
committedNov 2, 2020

Commits on Nov 1, 2020

Fix lexer for unicode projections tokens (#33 )
elmanelman
committedNov 1, 2020
fix: add test/evaluator/dune with mtt dependency
anton-trunov
committedNov 1, 2020

Commits on Oct 24, 2020

parser: clarify error message for f x y vs (f x) y
anton-trunov
committedOct 24, 2020
test: note typechecker and evaluator are independent
anton-trunov
committedOct 24, 2020

Commits on Oct 16, 2020

Add more cram-tests (#21 )
sloboegen
committedOct 16, 2020

Commits on Oct 8, 2020

ci: restore Windows support
anton-trunov
committedOct 8, 2020