Commits · master · BLOT Valentin / SystemFtoBarRecursion

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