[cl-kanren-trs-cvs] r3 - website
mswank at common-lisp.net
mswank at common-lisp.net
Fri Jun 20 05:59:23 UTC 2008
Author: mswank
Date: Fri Jun 20 01:59:21 2008
New Revision: 3
Added:
website/
website/index.html
website/style.css
Log:
Stub in website.
Added: website/index.html
==============================================================================
--- (empty file)
+++ website/index.html Fri Jun 20 01:59:21 2008
@@ -0,0 +1,76 @@
+<?xml version="1.0"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+ <head>
+ <title>cl-kanren-trs</title>
+ <link rel="stylesheet" type="text/css" href="style.css"/>
+ <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/>
+</head>
+
+<body>
+ <div class="header">
+
+ <h1>cl-kanren-trs</h1>
+ <h2>A Common Lisp version of <em>The Reasoned Schemer</em>.</h2>
+ </div>
+
+ <h3>Introduction</h3>
+ <div class="section">
+ <p>
+ <a href="http://mitpress.mit.edu/catalog/item/default.asp?ttype=2%26tid=10663">
+ <em>The Reasoned Schemer</em></a> 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
+ <a href="http://kanren.sourceforge.net/">KANREN</a>.
+ <a href="http://kanren.sourceforge.net/#mini">miniKANREN</a>
+ is the Scheme-based implementation. <b>cl-kanren-trs</b> is our take.
+ </p>
+ </div>
+ <h3>Description</h3>
+ <div class="section">
+ <p><b>cl-kanren-trs</b> implements the language of
+ <em>The Reasoned Schemer</em> 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.
+ </p>
+ </div>
+ <h3>Syntax and Semantics</h3>
+ <div class="section">
+ <p>More to come!</p>
+ </div>
+ <h3>Dependencies</h3>
+ <div class="section">
+ <p>The test suite will eventually depend on
+ <a href="http://common-lisp.net/project/stefil/">Stefil</a>.</p>
+ </div>
+ <h3>Mailing Lists</h3>
+ <div class="section">
+ <ul>
+ <li>
+ <a href="http://common-lisp.net/cgi-bin/mailman/listinfo/cl-kanren-trs-cvs">cl-kanren-trs-cvs</a>: subversion commits (read only).</li>
+ <li>
+ <a href="http://common-lisp.net/cgi-bin/mailman/listinfo/cl-kanren-trs-devel">cl-kanren-trs-devel</a>: help, discussion, and bug reports.</li>
+
+ <li><a href="http://common-lisp.net/cgi-bin/mailman/listinfo/cl-kanren-trs-announce">cl-kanren-trs-announce</a>: news and announcements (read only).</li>
+ </ul>
+ </div>
+ <h3>Repository</h3>
+ <div class="section">
+ <p>You can browse the <a href="http://common-lisp.net/websvn/listing.php?repname=cl-kanren-trs%26path=%2Fcl-kanren-trs%2F">cl-kanren-trs repository</a> or checkout the tree with</p>
+ <pre>svn checkout svn://common-lisp.net/project/cl-kanren-trs/svn</pre>
+</div>
+<h3>License</h3>
+<div class="section">
+ <p>BSD</p>
+</div>
+
+ <div class="footer">
+ <a href="mailto:mswank at common-lisp.net">Matthew D. Swank</a>,
+ </div>
+ <div class="check">
+ <a href="http://validator.w3.org/check/referer"> Valid XHTML 1.0 Strict</a>
+ </div>
+</body>
+</html>
Added: website/style.css
==============================================================================
--- (empty file)
+++ website/style.css Fri Jun 20 01:59:21 2008
@@ -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; }
More information about the cl-kanren-trs-cvs
mailing list