ltext v0.1.3 Release Notes

Release Date: 2018-11-03 // almost 3 years ago

Previous changes from v0.0.0.1

  • ๐Ÿš€ In this release, we finally have something functioning. We can now do the following:

    • ๐Ÿ‘‰ Use consistent delimiters in a file to denote arity and substitution
    • Apply files to each other
    • Direct output through stdout or a file
    • Check the type of files / expressions

    What we can't do

    • Partially apply files
    • Properly reduce \x y -> x y in Hindley-Milner terms (currently using untyped evaluation)