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 4e1a15d204e2a71395be442baea22c0421b24f3d

sort B,C

free type A ::= A [B]

ops + : A * B -> C

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