Documentation
- Liskell -- Haskell semantics with Lisp Syntax, a paper for the International Lisp Conference 07.
- A 15 minute tour of Liskell
Mailing Lists
Liskell development mailing is available at:
To subscribe to liskell-devel either
Use the web interface for subscription, or
Send a mail to liskell-devel-request@liskell.org with "subscribe" as subject
Technology Demos
Liskell is about meta-programming and to demonstrate its usefulness, we provide a few demos for these facilities. The darcs repository http://darcs.liskell.org/tech-demos contains
- A prolog inference engine
- A top-level-less Scheme compiler
- Type inference in meta-programming
- Pattern equality operator demo
Unfortunately, there is not yet enough documentation about the implementation strategies of these demos. Instead of waiting for this documentation to be completed, we rather thought, we put it on the web, even when it is not in a form that can be consumed easily (source code).