Changeset 37190 in project


Ignore:
Timestamp:
02/02/19 12:09:42 (2 weeks ago)
Author:
djireland
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/5/shen

    r37189 r37190  
    77=== Shen
    88
    9 [[http://www.shenlanguage.org/|Shen]] is a hosted language that comes with a macro system, optional type system based on [[https://en.wikipedia.org/wiki/Sequent_calculus|sequent calculus]], pattern matching, [[https://en.wikipedia.org/wiki/Lambda_calculus|λ calculus]] consistency, optional lazy evaluation, an integrated Prolog and compiler-compiler.
     9[[http://www.shenlanguage.org/|Shen]] is a hosted language that comes with a macro system, optional type system based on [[https://en.wikipedia.org/wiki/Sequent_calculus|sequent calculus]], pattern matching, [[https://en.wikipedia.org/wiki/Lambda_calculus|λ calculus]] consistency, optional lazy evaluation, an integrated [[https://en.wikipedia.org/wiki/Prolog|Prolog]] and [[https://en.wikipedia.org/wiki/Compiler-compiler|compiler-compiler]].
    1010
    1111This egg comes with a standalone binary ''chicken-shen'' that provides a REPL and a library to use Shen inside Scheme.
     
    1717=== Shen Documentation
    1818
    19 The best source of information for Shen programming is the
    20 [[https://www.amazon.com/Book-Shen-third-Mark-Tarver/dp/1784562130/ref=sr_1_1?ie=UTF8&qid=1548832486&sr=8-1&keywords=the+book+of+shen| The Book of Shen]] and the [[http://www.shenlanguage.org/|Shen web site]]
     19The best source of information for Shen programming is
     20[[https://www.amazon.com/Book-Shen-third-Mark-Tarver/dp/1784562130/ref=sr_1_1?ie=UTF8&qid=1548832486&sr=8-1&keywords=the+book+of+shen| The Book of Shen]], [[https://www.amazon.com/Logic-Proof-Computation-Mark-Tarver/dp/1784561274|Logic, Proof and Computation]] and the [[http://www.shenlanguage.org/|Shen web site]]
    2121.
    2222=== Egg Source Code
Note: See TracChangeset for help on using the changeset viewer.