« Changelog History


ltext v0.1.3 Release Notes

Release Date: 2018-11-03 // over 5 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)