Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | kernel/declarations becomes a pure mli | 2013-02-26 | ||
* | Fixing bug in native compiler with let patterns in fixpoint definitions. | 2013-02-11 | ||
* | New implementation of the conversion test, using normalization by evaluation to | 2013-01-22 |