Commits · db2d1fff25589ae7e1f4fff5d3b2e3b0a7566142 · Raphaël Cauderlier / Sigmaid

28 Jun, 2014 1 commit
- Easier to read lexing error · db2d1fff
  Raphaël Cauderlier authored Jun 28, 2014
  
  db2d1fff
27 Jun, 2014 6 commits
- Typos · f72df0c2
  Raphaël Cauderlier authored Jun 27, 2014
  
  f72df0c2
- Solve shift/reduce conflict in the lexer · d72f856b
  Raphaël Cauderlier authored Jun 27, 2014
  
  d72f856b
- Use "let" instead of "var" to introduce terms · 08702e51
  Raphaël Cauderlier authored Jun 27, 2014
  
  08702e51
- Field update · bc968c1b
  Raphaël Cauderlier authored Jun 27, 2014
  
  bc968c1b
- Test file · bedb2e0d
  Raphaël Cauderlier authored Jun 27, 2014
  
  bedb2e0d
- A compiler from λς-calculus to Dedukti · 79cc2961
  Raphaël Cauderlier authored Jun 27, 2014
  
  79cc2961