GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-07-06 13:52:44 -06:00
Code Issues Packages Projects Releases Wiki Activity
1,493 Commits 21 Branches 11 Tags
773fb9080c5222647d1684239b15bccb7909b844
Commit Graph

3 Commits

Author SHA1 Message Date
bringert 773fb9080c Transfer type checking algorithm: started on conversion. 2006-03-03 15:56:15 +00:00
bringert 7513cf8ef4 Transfer type checking: Added some notation explanation. Added constructor context. Added proper pattern checking operation. 2006-03-03 10:56:34 +00:00
bringert dd0d26c022 Transfer: added beginnings of a type checking algorithm description. 2006-03-03 10:37:59 +00:00