GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-20 02:09:32 -06:00
Code Issues Packages Projects Releases Wiki Activity
1,122 Commits 21 Branches 11 Tags
611f24d4dfd0f12eb0c910990ecabfab888e00c9
Commit Graph

3 Commits

Author SHA1 Message Date
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