Cross Reference: OpDecls.hascasl
xref: /hets/ToHaskell/test/OpDecls.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
21a5dc6f0c7be507b8091d65cf77392208e5807fKatja Abu-dibtype s, t
21a5dc6f0c7be507b8091d65cf77392208e5807fKatja Abu-dib
3f813eb9d4ef92b5058d65b913cef48fb5c41b2eKatja Abu-dibop __ + __ : s * s -> s
21a5dc6f0c7be507b8091d65cf77392208e5807fKatja Abu-dib
3f813eb9d4ef92b5058d65b913cef48fb5c41b2eKatja Abu-dibop x1,x2:s
21a5dc6f0c7be507b8091d65cf77392208e5807fKatja Abu-dib
3f813eb9d4ef92b5058d65b913cef48fb5c41b2eKatja Abu-dibop y:s = (op x2:s) + (op x2:s)

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