diff --git a/src/index.html b/src/index.html new file mode 100644 index 0000000000000000000000000000000000000000..8819c1fe3a21cfa95425481fead8c25369bbc57f --- /dev/null +++ b/src/index.html @@ -0,0 +1,76 @@ + + + + + cl-kanren-trs + + + + + +
+ +

cl-kanren-trs

+

A Common Lisp version of The Reasoned Schemer.

+
+ +

Introduction

+
+

+ + The Reasoned Schemer by Daniel P. Friedman, William E. Byrd + and Oleg Kiselyov is one of the "Little Lisper" books. It concentrates on + a logic-functional extension to Scheme. Though the language is never given + a name in the book, it is a minimal version of + KANREN. + miniKANREN + is the Scheme-based implementation. cl-kanren-trs is our take. +

+
+

Description

+
+

cl-kanren-trs implements the language of + The Reasoned Schemer with CLOS hooks to extend the types that can + be the subject of unification. Each terminating form from main text is + (or will be) implemented as part of the test suite. +

+
+

Syntax and Semantics

+
+

More to come!

+
+

Dependencies

+
+

The test suite will eventually depend on + Stefil.

+
+

Mailing Lists

+
+ +
+

Repository

+
+

You can browse the cl-kanren-trs repository or checkout the tree with

+
svn checkout svn://common-lisp.net/project/cl-kanren-trs/svn
+
+

License

+
+

BSD

+
+ + +
+ Valid XHTML 1.0 Strict +
+ + diff --git a/src/style.css b/src/style.css new file mode 100644 index 0000000000000000000000000000000000000000..1ca7bf3d832b135242c7a058529c2930c0d6caac --- /dev/null +++ b/src/style.css @@ -0,0 +1,54 @@ + +.header { + font-size: medium; + background-color:#336699; + color:#ffffff; + border-style:solid; + border-width: 5px; + border-color:#002244; + padding: 1mm 1mm 1mm 5mm; +} + +.footer { + font-size: small; + font-style: italic; + text-align: right; + background-color:#336699; + color:#ffffff; + border-style:solid; + border-width: 2px; + border-color:#002244; + padding: 1mm 1mm 1mm 1mm; +} + +.footer a:link { + font-weight:bold; + color:#ffffff; + text-decoration:underline; +} + +.footer a:visited { + font-weight:bold; + color:#ffffff; + text-decoration:underline; +} + +.footer a:hover { + font-weight:bold; + color:#002244; + text-decoration:underline; } + +.check {font-size: x-small; + text-align:right;} + +.check a:link { font-weight:bold; + color:#a0a0ff; + text-decoration:underline; } + +.check a:visited { font-weight:bold; + color:#a0a0ff; + text-decoration:underline; } + +.check a:hover { font-weight:bold; + color:#000000; + text-decoration:underline; }