Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2001-09-06 | remove 'dcl_is_cashed' | johnvg | 1 | -23/+11 |
2001-09-06 | removed usage of fun_index | alimarin | 1 | -0/+1 |
2001-08-28 | universally quantified types added | sjakie | 1 | -6/+14 |
2001-07-19 | Added "curried" arrow types (->) and ((->) a) | alimarin | 1 | -1/+13 |
2001-06-29 | cleaning up: removing all these hopelessly silly long function names | martinw | 1 | -49/+49 |
2001-06-15 | making kind checking phase compatible with dcl caching | martinw | 1 | -89/+172 |
2001-06-14 | support for module system is added to genercis | alimarin | 1 | -15/+20 |
2001-06-01 | removed import of debug module | johnvg | 1 | -1/+2 |
2001-05-14 | new phase between analTypeDefs and typing | martinw | 1 | -0/+243 |