We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
daa13c1
This release adds the import command which allows to import lambda terms defined in modules as aliases.
import
9e07481
This release allows to execute multiple files with -f.
-f
d6ebcd4
First release
