Default Branch

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

ZIP  TAR.GZ

Branches

fix-conversio 5a3facebfb · Attempting to fix conversion rules · Updated 2016-03-22 18:41:52 +00:00    suzanne.soy	2 1	Compare	ZIP  TAR.GZ
typed-macros 43e82910cb · Typed macros through syntax parse? · Updated 2015-11-05 23:33:04 +00:00    suzanne.soy	47 1	Compare	ZIP  TAR.GZ
actual-inductives 8429afbfcc · Fixed latex output · Updated 2015-04-15 00:14:50 +01:00    suzanne.soy	150 23	Compare	ZIP  TAR.GZ
package-split 8ff9ec53c7 · Fixed missing imports in tests · Updated 2016-01-11 00:07:48 +00:00    suzanne.soy	21 9	Compare	ZIP  TAR.GZ
issue-9 0d110dffaf · Cleaned up eliminator reduction and typing · Updated 2015-10-02 22:02:48 +01:00    suzanne.soy	68 17	Compare	ZIP  TAR.GZ
issue-23 024f4e188e · Fixed reduction of (elim ==) · Updated 2015-09-26 05:57:36 +01:00    suzanne.soy	74 2	Compare	ZIP  TAR.GZ
redex-with-binding 6e27c1fc39 · Tweaks dependencies · Updated 2015-09-24 21:58:36 +01:00    suzanne.soy	97 0	Included	ZIP  TAR.GZ
reflection b79e64523a · Reflection, now with the ability to run code! · Updated 2015-01-30 22:55:09 +00:00    suzanne.soy	170 0	Included	ZIP  TAR.GZ
faster-elim c5cbf9f9ea · Documented new elim form · Updated 2016-03-23 23:23:21 +00:00    suzanne.soy	1 3	Compare	ZIP  TAR.GZ
axioms 572b66aac4 · Added axioms; added test, but it's *slow* · Updated 2016-01-22 20:28:11 +00:00    suzanne.soy	11 1	Compare	ZIP  TAR.GZ
wishlist 63357484d9 · Some examples from Coq, and equivalents in Cur · Updated 2016-01-22 19:20:16 +00:00    suzanne.soy	11 2	Compare	ZIP  TAR.GZ
cross-modules 8e768a7029 · Require/provide now export/import gamma and sigma · Updated 2015-01-30 21:33:22 +00:00    suzanne.soy	171 0	Included	ZIP  TAR.GZ
olly-rewrite 3af3d8dbe9 · Small syntax fixes · Updated 2016-01-19 16:20:19 +00:00    suzanne.soy	12 10	Compare	ZIP  TAR.GZ
issue-26 bfb5edf0a3 · Tweaks; works, ish, with more recent redex · Updated 2015-10-03 18:21:57 +01:00    suzanne.soy	58 2	Compare	ZIP  TAR.GZ
simple-sugar ed57d034dc · Updated documentation · Updated 2016-01-18 19:03:42 +00:00    suzanne.soy	16 12	Compare	ZIP  TAR.GZ
issue-24 fb7d351f12 · More evaluation during type-checking · Updated 2015-09-30 03:44:39 +01:00    suzanne.soy	67 0	Included	ZIP  TAR.GZ
issue-20 b95de692b9 · Fixed notion of values, and cached reduction · Updated 2015-09-29 22:55:28 +01:00    suzanne.soy	69 1	Compare	ZIP  TAR.GZ
names f8a51e65ca · Attempting to fix case typing checking · Updated 2015-04-11 03:42:51 +01:00    suzanne.soy	152 2	Compare	ZIP  TAR.GZ
fix-dependency-issues 15c9ef4423 · Missing build dependency on redex-lib for cur-test · Updated 2016-04-01 17:12:11 +01:00    suzanne.soy	0 1	Compare	ZIP  TAR.GZ
issue-33 fd2c5647b4 · Pulled list tests out into cur-test · Updated 2016-01-14 01:59:22 +00:00    suzanne.soy	18 2	Compare	ZIP  TAR.GZ