/* * A harness for testing the code implementing the `currying' transform */ module curry_test. accumulate terms, curry_transform. type test int -> tm -> o. test 1 CurriedF :- trm trfact2 F, curry F CurriedF.
distrib
>
Mandriva
>
8.2
>
i586
>
media
>
contrib
>
by-pkgid
>
8a80864b07c5f16e9ba9be320c149cfa
>
files
>
33
