industrial-strength implementation of the SKI calculus, using XML
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
IKSML.py
README.mkd
redex.xsl
term1.xml
term2.xml
term3.xml
term4.xml

README.mkd

IKSML

IKSML is the future! IKSML is entreprise compliant! IKSML is a simple-yet-powerful functional language, with a XML syntax that makes it easy to read, parse, and store in your favorite database!

Sample term:

<apply>
  <apply>
     <fun><K/></fun>
     <fun><I/></fun>
  </apply>
  <fun><K/></fun>
</apply>

This nice XML blob represents a SKI term (cf http://en.wikipedia.org/wiki/SK_calculus ). To reduce it to a normal term, invoke IKSML.py <file.xml>. Enjoy!

Note: due to the lack of indexing and ASM inlining, the performance may be slightly lower than the equivalent code in C.