Skip to content
/ IKSML Public

[toy] industrial-strength implementation of the SKI calculus, using XML

Notifications You must be signed in to change notification settings

c-cube/IKSML

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

[toy] industrial-strength implementation of the SKI calculus, using XML

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published