https://github.com/c-cube/iksml

[toy] industrial-strength implementation of the SKI calculus, using XML
https://github.com/c-cube/iksml

lol turing-tarpit xml

Last synced: 23 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/c-cube/iksml
• Owner: c-cube
• Created: 2012-02-08T07:20:34.000Z (about 13 years ago)
• Default Branch: master
• Last Pushed: 2012-02-08T15:47:49.000Z (about 13 years ago)
• Last Synced: 2025-01-16T00:10:58.899Z (24 days ago)
• Topics: lol, turing-tarpit, xml
• Homepage:
• Size: 98.6 KB
• Stars: 8
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.mkd

Awesome Lists containing this project

README

        
# 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:

```xml

  

     

     

  

  

```

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 `. Enjoy!

Note: due to the lack of indexing and ASM inlining, the performance may be

slightly lower than the equivalent code in C.