Changeset 39483 in project


Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/5/mini-kanren

    r39482 r39483  
    11[[tags: egg]]
    22
    3 = CHICKEN miniKanren
     3== CHICKEN miniKanren
    44
    55This repository provides the [[https://github.com/miniKanren/miniKanren|canonical miniKanren
     
    1717for the sake of uploading an issue.
    1818
    19 == From the miniKanren implementation
     19=== From the miniKanren implementation
    2020
    2121Canonical miniKanren implementation.
     
    2525William 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.
    2626
    27 === CORE LANGUAGE
     27==== CORE LANGUAGE
    2828
    2929'''Logical operators:'''
     
    3737<constant>run\*</constant>
    3838
    39 === EXTENDED LANGUAGE
     39==== EXTENDED LANGUAGE
    4040
    4141'''Constraint operators:'''
Note: See TracChangeset for help on using the changeset viewer.