Commits · f677a20cbbff117eff30aa00937cb6e81e6bf028 · Björn Lötters / Lambda Calculus

03 Aug, 2022 2 commits
- Merge branch 'dev' into 'main' · f677a20c
  Björn Lötters authored Aug 03, 2022
```
2.4.0

See merge request !16
```
  f677a20c
- 2.4.0 · 830bd237
  Björn Lötters authored Aug 03, 2022
  
  830bd237
21 Jul, 2022 2 commits
- Merge branch 'dev' into 'main' · 9c787fcf
  Björn Lötters authored Jul 21, 2022
```
Dev

See merge request !15
```
  9c787fcf
- Dev · c691091c
  Björn Lötters authored Jul 21, 2022
  
  c691091c
19 Jul, 2022 2 commits
- Merge branch 'dev' into 'main' · 848b37df
  Björn Lötters authored Jul 19, 2022
```
Add support for lazy values and call-by-need strategy

See merge request !14
```
  848b37df
- Add support for lazy values and call-by-need strategy · 162e0557
  Björn Lötters authored Jul 19, 2022
  
  162e0557
18 Jul, 2022 21 commits
- Merge branch 'bpfr67-main-patch-92659' into 'main' · 33c9fe35
  Björn Lötters authored Jul 18, 2022
```
Update README.md

See merge request !13
```
  33c9fe35
- Update README.md · 482edce8
  Björn Lötters authored Jul 18, 2022
  
  482edce8
- Merge branch 'dev' into 'main' · 1f02dd0e
  Björn Lötters authored Jul 18, 2022
```
Add release jar

See merge request !12
```
  1f02dd0e
- Add release jar · f0ff755d
  Björn Lötters authored Jul 18, 2022
  
  f0ff755d
- Merge branch 'dev' into 'main' · b75a2776
  Björn Lötters authored Jul 18, 2022
```
Add release jar

See merge request !11
```
  b75a2776
- Add release jar · e1055d2c
  Björn Lötters authored Jul 18, 2022
  
  e1055d2c
- Merge branch 'dev' into 'main' · fed28710
  Björn Lötters authored Jul 18, 2022
```
Dev

See merge request !10
```
  fed28710
- 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
- Merge branch 'dev' into 'main' · 9c31636d
  Björn Lötters authored Jul 18, 2022
```
Add assembly plugin for maven

See merge request !9
```
  9c31636d
- 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