Age | Commit message (Expand) | Author |
---|---|---|
2014-10-27 | Improve computational complexity of varTerms by rewriting equations. | Justin Bedo |
2014-10-23 | Added documentation. | Justin Bedo |
2014-10-23 | Merged files | Justin Bedo |
2014-10-08 | Fix up FFI exports; fix cabal file; tidy source | Justin Bedo |
2014-10-06 | Bugfix in bound rendering | Justin Bedo |
2014-10-06 | Initial implementation of EDSL and LP output formatter | Justin Bedo |