Cross Reference: ListEx.hascasl
xref: /hets/ToHaskell/test/ListEx.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
3a184d717836f004116f7e9455d116e8a06b2499Christian Maedervar a : +Type
d16796d2e67b21942cb8869a2bd7727b0c49f602Christian Maederfree type List a ::= Nil | Cons(myhead : a; List a)

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