aboutsummaryrefslogtreecommitdiff
path: root/examples/vec.fwd
AgeCommit message (Collapse)Author
4 dayswork towards a simple integer vector implementationKimplul
+ Hopefully shows that useful programs can be implemented with the rules present + Still missing at least external functions with non-void returns
4 daysimplement enough type analysis for vector exampleKimplul
+ Big commit, scary + Some details still a bit up in the air, mainly about move checking structure member access ('register' types are freely copied I guess, same as in rust? How about user types?)