 bringert
|
0419860b4e
|
Transfer: some TODOs. Lots of minor fixes in type checking algorithm.
|
2006-03-20 18:23:55 +00:00 |
|
|
bringert
|
8d1543684a
|
Some simple clarifications in the transfer type checking document.
|
2006-03-20 15:15:56 +00:00 |
|
|
bringert
|
a961739bbf
|
Transfer type system: some random changes
|
2006-03-06 16:55:22 +00:00 |
|
|
bringert
|
f568dbcf64
|
Transfer type checking algorithm: started on conversion.
|
2006-03-03 15:56:15 +00:00 |
|
|
bringert
|
54542c8423
|
Transfer type checking: Added some notation explanation. Added constructor context. Added proper pattern checking operation.
|
2006-03-03 10:56:34 +00:00 |
|
|
bringert
|
0453d5c45e
|
Transfer: added beginnings of a type checking algorithm description.
|
2006-03-03 10:37:59 +00:00 |
|