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 1ec9f80b0b7f59d82abaf3bedaccf5a44c093d71

sort B,C

free type A ::= A [b]

ops + : A * B -> C

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