/* * The sorts and constants needed for encoding the terms in the * untyped lambda calculus */ sig fp_types. kind tm type. type abs (tm -> tm) -> tm. type app tm -> tm -> tm.
distrib
>
Mandriva
>
8.2
>
i586
>
media
>
contrib
>
by-pkgid
>
8a80864b07c5f16e9ba9be320c149cfa
>
files
>
43
