/linear-lisp

experimenting with linear languages

Primary LanguageHaskell

Experiments writing a linear language compiler using Haskell. Currently no relation to lisp.

Compiles, using type-inference, to a stack-based virtual machine, so it might have potential use in compiling to a real forth implementation someday? :)

Inspired by this paper by Henry Baker (http://www.pipeline.com/~hbaker1/ForthStack.html)