Skip to content

Remove use of stringext in the CLI
Compare
Choose a tag to compare
@djs55 djs55 released this 18 Jul 13:37
· 148 commits to master since this release
v0.7.3
37a7357

The CLI optionally compiles if lambda-term is installed and now depends on astring rather than stringext.

Assets 2
Loading