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 ca9ac8e3ff1877f186810ec6b97c4df769c09c43

sort b

free type A ::= A b

%%ops f,g : A * B -> C

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