---

Revision 1.8 - (view) (download) (annotate) - [select for diffs]
Tue Jan 10 09:44:48 2006 UTC (2 years, 10 months ago) by oleg
Branch: MAIN
CVS Tags: HEAD
Changes since 1.7: +4 -3 lines
Diff to previous 1.7

added theorem proving in intuitionistic and classical logics.

---

Revision 1.7 - (view) (download) (annotate) - [select for diffs]
Tue Jan 10 05:08:54 2006 UTC (2 years, 10 months ago) by oleg
Branch: MAIN
Changes since 1.6: +78 -88 lines
Diff to previous 1.6

new version with sums and infix types, works.

---

Revision 1.6 - (view) (download) (annotate) - [select for diffs]
Thu Jan 5 10:19:38 2006 UTC (2 years, 10 months ago) by oleg
Branch: MAIN
Changes since 1.5: +41 -15 lines
Diff to previous 1.5

added more tests

---

Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Tue Jan 3 10:23:56 2006 UTC (2 years, 10 months ago) by oleg
Branch: MAIN
Changes since 1.4: +172 -35 lines
Diff to previous 1.4

added sums and products. Still preliminary

---

Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Thu Dec 22 00:50:52 2005 UTC (2 years, 11 months ago) by oleg
Branch: MAIN
Changes since 1.3: +12 -2 lines
Diff to previous 1.3

added a few comments

---

Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Sat Dec 17 01:29:14 2005 UTC (2 years, 11 months ago) by oleg
Branch: MAIN
Changes since 1.2: +6 -1 lines
Diff to previous 1.2

added a remark about parse should alpha-convert lambda-forms.

---

Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Thu Dec 15 10:02:13 2005 UTC (2 years, 11 months ago) by oleg
Branch: MAIN
Changes since 1.1: +83 -3 lines
Diff to previous 1.1

added the CPS stuff

---

Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Thu Dec 15 08:45:05 2005 UTC (2 years, 11 months ago) by oleg
Branch: MAIN

initial revision: re-writing from the full Kanren.