| 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. |
example
Directory actions
More options
Directory actions
More options
example
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||