Mercurial > hg > ishara
log
age | author | description |
---|---|---|
Sat, 19 Jan 2013 18:27:00 +0000 | samer | Added nil for empty sequence, unfold is now infinite, concat takes only seq(seq(A)),, |
Sat, 19 Jan 2013 17:56:21 +0000 | samer | More documentation on type system. |
Sat, 19 Jan 2013 14:40:54 +0000 | samer | Tidied up indentation. |
Sat, 19 Jan 2013 14:22:09 +0000 | samer | Added documentation about types and revised arrow type specifications. |