Cross Reference: FiniteSet.hascasl
xref: /hets/ToHaskell/test/FiniteSet.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
b5b03751832cc37eb5be9409d9efba4882935611Christian Maeder var a : Type;
b5b03751832cc37eb5be9409d9efba4882935611Christian Maeder type FiniteSet: Type -> Type;
b5b03751832cc37eb5be9409d9efba4882935611Christian Maeder ops {} : FiniteSet a;
b5b03751832cc37eb5be9409d9efba4882935611Christian Maeder {__} : a -> FiniteSet a;
b5b03751832cc37eb5be9409d9efba4882935611Christian Maeder __ + __, __ - __ : FiniteSet a * FiniteSet a -> FiniteSet a

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