Skip to content
Commits on Sep 25, 2012
  1. updated todo

    U-nicolas-PC\nicolas committed
Commits on Aug 30, 2012
  1. updated TODO

    Nicolas Marti committed
Commits on Aug 16, 2012
  1. update the TODO list

    Nicolas Marti committed
Commits on Aug 10, 2012
  1. updated TODO

    Nicolas Marti committed
  2. cleanups kernel interface + added inline/file kernel processor, fixed…

    Nicolas Marti committed
    … reduction
Commits on Aug 9, 2012
  1. finaly passed the first examples

    Nicolas Marti committed
Commits on Aug 8, 2012
  1. fixed typeinfer of missing Implciti arg in App

    Nicolas Marti committed
  2. added App in typeinfer, run more examples

    Nicolas Marti committed
Commits on Aug 7, 2012
  1. continue typeinferences ...

    Nicolas Marti committed
Commits on Aug 6, 2012
  1. continue with context design rather

    Nicolas Marti committed
  2. doing the eq resolution

    Nicolas Marti committed
Commits on Aug 5, 2012
  1. first version of reduction

    Nicolas Marti committed
Commits on Aug 3, 2012
  1. remove engine files, added reduction file

    Nicolas Marti committed
Commits on Aug 2, 2012
  1. fixed the parser pprinter + added milestone objectif tests in regress…

    Nicolas Marti committed
    …ion test !
  2. added parser for definitions (Signature, Inductive, Constructor, Defi…

    Nicolas Marti committed
    …nition) + update milestone example
  3. updated TODO list

    Nicolas Marti committed
Commits on Aug 1, 2012
  1. continue pprinter

    Nicolas Marti committed
  2. current status of TODO

    Nicolas Marti committed
Something went wrong with that request. Please try again.