Skip to content

Latest commit

 

History

History

Examples

File Description
a.lgt A graph with an nullary atom A.
err1.lgt Parser error (unmatched parentheses).
dlist.lgt Pop the last element of a difference list (length 1).
dlist2.lgt Append two difference lists.
dlist3.lgt Rotate a difference list (push an element to front from back).
dlist4.lgt Pop the last element of a difference list (length 2).
fusion.lgt Fuse a local links _Z1 and _Z2.
let1.lgt Testing let binding.
let2.lgt Testing let binding.
letrec1.lgt Pop all the elements from back of a difference list.
lltree.lgt A leaf linked tree.
lltree1.lgt Map a function on the leaves of an leaf-linked tree (without abbreviations and int(eger)s).
lltree2.lgt Map a function on the leaves of an leaf-linked tree.
dataflow2.lgt Embedding a dataflow langauge.