Cross Reference: /hets/ToHaskell/test/Test.hascasl

Cross Reference: Test.hascasl

xref: /hets/ToHaskell/test/Test.hascasl

Home
History
Annotate
Line#
Navigate
Download
only in ./

Test.hascasl revision 440642c8ba01e8576d6512c3a3002857307f898a

sort A,B,C

%%free type A ::= A b

ops f : A * B -> C

Indexes created Tue Jul 24 14:28:13 CEST 2018