bringert 0d0c7e5b2d Added numerals example.

2005-11-29 16:00:52 +00:00

..

array.tr

Changed all example programs to use layout syntax.

2005-11-28 21:45:22 +00:00

bool.tr

Changed all example programs to use layout syntax.

2005-11-28 21:45:22 +00:00

exp.tr

Fixed transfer composOp generation to support tree types that don't take a single type argument.

2005-11-28 22:31:09 +00:00

fib.tr

Changed all example programs to use layout syntax.

2005-11-28 21:45:22 +00:00

layout.tr

Made layout test example more compilcated.

2005-11-29 15:57:51 +00:00

list.tr

Changed all example programs to use layout syntax.

2005-11-28 21:45:22 +00:00

nat.tr

Changed all example programs to use layout syntax.

2005-11-28 21:45:22 +00:00

numerals.tr

Added numerals example.

2005-11-29 16:00:52 +00:00

overload.tr

Changed all example programs to use layout syntax.

2005-11-28 21:45:22 +00:00

pair.tr

Changed all example programs to use layout syntax.

2005-11-28 21:45:22 +00:00

prelude.tr

Changed all example programs to use layout syntax.

2005-11-28 21:45:22 +00:00

test.tr

Changed all example programs to use layout syntax.

2005-11-28 21:45:22 +00:00