Version:
Copyright:
License:
Packaged on:
3/11/2004 8:11:12 PM
Number of files:
4
Size on disk:
63.63 kB

This package provides a pile of lambda-calculus and list-handling macros of an incredibly obtuse nature. Read lazylist.tex to find out what they all do and how they do it. This TeX code was formally verified.