Default Branch

master 832b7be5db · NB, API changes: Faster/more primitive elim · Updated 2016-03-24 20:03:51 +00:00

ZIP  TAR.GZ

Branches

elim-reduction c07e93a870 · Nuts to this sanity check · Updated 2015-10-06 07:32:09 +01:00    suzanne.soy	54 2	Compare	ZIP  TAR.GZ
fixing-the-repl 261dbbfe9a · Hacks to make cur work in the REPL · Updated 2015-09-24 02:33:07 +01:00    suzanne.soy	102 1	Compare	ZIP  TAR.GZ
type-classes 07c36c9c2d · Type classes are easy · Updated 2015-09-09 22:54:44 +01:00    suzanne.soy	146 0	Included	ZIP  TAR.GZ
core-reorg 1760a02665 · Trying to fix performance bugs with conversion · Updated 2016-03-26 00:47:27 +00:00    suzanne.soy	0 15	Compare	ZIP  TAR.GZ
better-errors 14960fd038 · More quasisyntax/loc for better error messages · Updated 2016-01-21 21:07:16 +00:00    suzanne.soy	11 6	Compare	ZIP  TAR.GZ
hybrid-core 302d8014fa · Added TODO; Δ depends on order, but dict unordered · Updated 2016-01-12 00:25:31 +00:00    suzanne.soy	19 7	Compare	ZIP  TAR.GZ
typing-elim 8ba4ed17d9 · Fixed bug in reduction of elim · Updated 2015-09-25 21:52:49 +01:00    suzanne.soy	141 0	Included	ZIP  TAR.GZ
tactics 9265431475 · Tactics complete! after many hacks · Updated 2015-09-09 23:50:11 +01:00    suzanne.soy	144 0	Included	ZIP  TAR.GZ