Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-09-16 | Added help and Frege package dir for compile task | Mark Perry | |
2015-02-24 | first step into quickcheck integration. It works on "inline" checks but not ↵ | Dierk Koenig | |
yet with tests from src/test. Those are not yet automatically compiled. |