pointfree-1.1.1.3: Tool for refactoring expressions into pointfree form
The pointfree tool is a standalone command-line version of the pl plugin for lambdabot.
Modules
pointfree-1.1.1.3: Tool for refactoring expressions into pointfree form
The pointfree tool is a standalone command-line version of the pl plugin for lambdabot.
Modules