Commits · 998efbdac67523dced5c98d4f393460f9fab2c7f · Björn Lötters / Lambda Calculus

15 Jul, 2022 1 commit
- Add a flag for automatic conversion between terms and natural numbers. Improve syntax errors. · 998efbda
  Björn Lötters authored Jul 15, 2022
  
  998efbda
29 Jun, 2022 2 commits
- Fix merge conflict between v1.0.0 and v2.0.0 · a521a82d
  Björn Lötters authored Jun 29, 2022
  
  a521a82d
- Introduce new command line interface and preparations for version 2.0.0 · 58373904
  Björn Lötters authored Jun 29, 2022
  
  58373904
24 Jun, 2022 6 commits
- Merge branch 'dev' into 'main' · d30383fe
  Björn Lötters authored Jun 24, 2022
```
Dev

See merge request !1
```
  d30383fe
- Dev · 9b8f9513
  Björn Lötters authored Jun 24, 2022
  
  9b8f9513
- Add maven support · bb745c4a
  Björn Lötters authored Jun 24, 2022
  
  bb745c4a
- Migrate to Java 16 with sealed classes and pattern variables · 9e3a1c45
  Björn Lötters authored Jun 24, 2022
  
  9e3a1c45
- Add logo and README · 0b16c9c3
  Björn Lötters authored Jun 24, 2022
  
  0b16c9c3
- Initial commit · 0de4f6f7
  Björn Lötters authored Jun 24, 2022
  
  0de4f6f7