Commits · master · BLOT Valentin / SystemFtoBarRecursion

22 Feb, 2018 1 commit
- parsing error: function types associate to the right · da537659
  Valentin Blot authored Feb 22, 2018
  
  da537659
07 Dec, 2017 2 commits
- Optimized extraction · 93fa2d5d
  Valentin Blot authored Dec 07, 2017
  
  93fa2d5d
- Improvements · bee5b44c
  Valentin Blot authored Dec 07, 2017
```
* New definition of System F terms
* bound is no more admitted
```
  bee5b44c
06 Dec, 2017 1 commit
- simplification of stack substitution · 7ef448d7
  Valentin Blot authored Dec 06, 2017
  
  7ef448d7
05 Dec, 2017 1 commit
- Comments in the Coq file. · 54333a96
  Valentin Blot authored Dec 05, 2017
  
  54333a96
04 Dec, 2017 4 commits
- Javascript version · 11c2509a
  Valentin Blot authored Dec 04, 2017
  
  11c2509a
- Coq version · c083a425
  Valentin Blot authored Dec 04, 2017
  
  c083a425
- reference to the paper in README · 928bf5c1
  Valentin Blot authored Dec 04, 2017
  
  928bf5c1
- Initial commit · 69aef2e7
  vblot authored Dec 04, 2017
  
  69aef2e7