All Versions
7
Latest Version
Avg Release Cycle
172 days
Latest Release
2227 days ago

Changelog History

  • v0.1.3

    November 03, 2018

  • v0.1.2

    July 15, 2016

  • v0.1.2.2

    April 14, 2017

  • v0.1.2.1

    July 20, 2016

  • v0.1.1

    July 15, 2016

  • v0.1.0

    July 12, 2016

  • v0.0.0.1 Changes

    May 29, 2015

    🚀 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)