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.0.0-alpha
2.0.0-alpha
2081a160
·
Merge branch 'dev' into 'main'
·
Jun 29, 2022
Release
2.0.0-alpha
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
New command line interface with more convenient commands
New debug mode for terms
Java 18 (~ records and pattern variables)