fwd - A programming language that cannot return

Age	Commit message (Collapse)	Author
4 days	improve move checker to detect pointer leaksHEAD master gnc	Kimplul
	+ Currently requires a lot of unnecessary `forget` statements, but at least some can likely be eliminated by doing some basic origin analysis, kind of like with groups
4 days	allow omitting ';' in trivial calls	Kimplul

4 days	work towards a simple integer vector implementation	Kimplul
	+ Hopefully shows that useful programs can be implemented with the rules present + Still missing at least external functions with non-void returns
4 days	implement enough type analysis for vector example	Kimplul
	+ 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?)