Commits · 162e0557e9f9804c85aa6bd22c082e3d7f0ae765 · Björn Lötters / Lambda Calculus

19 Jul, 2022 1 commit
- Add support for lazy values and call-by-need strategy · 162e0557
  Björn Lötters authored Jul 19, 2022
  
  162e0557
18 Jul, 2022 15 commits
- Add release jar · f0ff755d
  Björn Lötters authored Jul 18, 2022
  
  f0ff755d
- Add release jar · e1055d2c
  Björn Lötters authored Jul 18, 2022
  
  e1055d2c
- Add release jar · 3c72097a
  Björn Lötters authored Jul 18, 2022
  
  3c72097a
- Add release jar · e1bcad66
  Björn Lötters authored Jul 18, 2022
  
  e1bcad66
- Add assembly plugin for maven · 1f9378b5
  Björn Lötters authored Jul 18, 2022
  
  1f9378b5
- Merge branch 'dev' into 'main' · 6d060c90
  Björn Lötters authored Jul 18, 2022
```
Dev

See merge request !8
```
  6d060c90
- Merge branch 'main' into dev · 32de9d89
  Björn Lötters authored Jul 18, 2022
  
  32de9d89
- Merge branch 'dev' into 'main' · 6539176d
  Björn Lötters authored Jul 18, 2022
```
Dev

See merge request !7
```
  6539176d
- Dev · ffd73fd9
  Björn Lötters authored Jul 18, 2022
  
  ffd73fd9
- Merge branch 'main' into dev · af0c008f
  Björn Lötters authored Jul 18, 2022
  
  af0c008f
- Merge branch 'dev' into 'main' · fbc0f850
  Björn Lötters authored Jul 18, 2022
```
Dev

See merge request !6
```
  fbc0f850
- Dev · d5deeb41
  Björn Lötters authored Jul 18, 2022
  
  d5deeb41
- Merge branch 'main' into dev · deb5fddc
  Björn Lötters authored Jul 18, 2022
  
  deb5fddc
- Increment version · 69bac49b
  Björn Lötters authored Jul 18, 2022
  
  69bac49b
- Fix display bug in the debugger and introduce the 'naturals' flag in the debugger · f7979468
  Björn Lötters authored Jul 18, 2022
  
  f7979468
15 Jul, 2022 5 commits
- Merge branch 'dev' into 'main' · 6d46c212
  Björn Lötters authored Jul 15, 2022
```
v2.1.0-alpha

See merge request !5
```
  6d46c212
- v2.1.0-alpha · 32f47cbf
  Björn Lötters authored Jul 15, 2022
  
  32f47cbf
- Merge branch 'dev' of git.thm.de:bpfr67/lambda-calculus into dev · 25532cae
  Björn Lötters authored Jul 15, 2022
  
  25532cae
- Add a flag for automatic conversion between terms and natural numbers. Improve syntax errors. · e3775f3f
  Björn Lötters authored Jul 15, 2022
  
  e3775f3f
- 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 8 commits
- Merge branch 'bpfr67-main-patch-14032' into 'main' · 8fff1dd1
  Björn Lötters authored Jun 29, 2022
```
Update README.md

See merge request !4
```
  8fff1dd1
- Update README.md · 42c386b9
  Björn Lötters authored Jun 29, 2022
  
  42c386b9
- Merge branch 'bpfr67-main-patch-68051' into 'main' · 07519210
  Björn Lötters authored Jun 29, 2022
```
Update README.md

See merge request !3
```
  07519210
- Update README.md · df1b1b2a
  Björn Lötters authored Jun 29, 2022
  
  df1b1b2a
- Merge branch 'dev' into 'main' · 2081a160
  Björn Lötters authored Jun 29, 2022
```
2.0.0-alpha

See merge request !2
```
  2081a160
- 2.0.0-alpha · 847deddc
  Björn Lötters authored Jun 29, 2022
  
  847deddc
- 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