Re: Spad and inductive types

Gabriel Dos Reis <[email protected]>
Newsgroups gmane.comp.mathematics.axiom.user
Organization Texas A&M University, Department of Computer Science
Message-ID <[email protected]> 
"Bill Page" <[email protected]> writes:

[...]

| in Haskell, by a kind of convenient abuse of notation
| (or polymorphism if you wish) 'MkInt' also denotes a
| function
| 
|    MkInt: Int -> MkInt Int

Bill -- 

  you're highly confused. 

      http://haskell.org/onlinereport/decls.html#user-defined-datatypes


and most of your related comments don't make much sense.

-- Gaby
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.