Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Privacy
Imprint
Contact
Login methods
Sign in
Toggle navigation
Menu
Open sidebar
Björn Lötters
Lambda Calculus
Tags
2.1.0-alpha
2.1.0-alpha
6d46c212
·
Merge branch 'dev' into 'main'
·
Jul 15, 2022
Release
2.1.0-alpha
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Add support for automatic conversion between natural numbers and peano-encoded lambda terms
Improve syntax-error reporting