Changeset 39483 in project

Timestamp:

01/02/21 00:02:11 (2 weeks ago)

Author:

svnwiki

Message:

Anonymous wiki edit for IP [176.127.100.145]: Headline fix

File:

• wiki/eggref/5/mini-kanren (modified) (4 diffs)

wiki/eggref/5/mini-kanren

@@ -1 +1 @@
 [[tags: egg]]
 
-= CHICKEN miniKanren
+== CHICKEN miniKanren
 
 This repository provides the [[https://github.com/miniKanren/miniKanren|canonical miniKanren
@@ -17 +17 @@
 for the sake of uploading an issue.
 
-== From the miniKanren implementation
+=== From the miniKanren implementation
 
 Canonical miniKanren implementation.
@@ -25 +25 @@
 William E. Byrd, Eric Holk, and Daniel P. Friedman. miniKanren, Live and Untagged: Quine Generation via Relational Interpreters (Programming Pearl). To appear in the Proceedings of the 2012 Workshop on Scheme and Functional Programming, Copenhagen, Denmark, 2012.
 
-=== CORE LANGUAGE
+==== CORE LANGUAGE
 
 '''Logical operators:'''
@@ -37 +37 @@
 <constant>run\*</constant>
 
-=== EXTENDED LANGUAGE
+==== EXTENDED LANGUAGE
 
 '''Constraint operators:'''