6 Commits

Author	SHA1	Message	Date
Steve Dunham	18e44cb7d3	Improvements to erasure checking, fix to codegen issue	2024-11-29 10:02:45 -08:00
Steve Dunham	6abd97ee85	Improvements to grammar	2024-11-09 21:43:38 -08:00
Steve Dunham	bb749a917a	forall / ∀ syntactic sugar	2024-11-09 20:17:38 -08:00
Steve Dunham	c6cbb13eb7	add comments to Lists.newt	2024-11-09 17:18:14 -08:00
Steve Dunham	d4b446d122	styling fixes for iphone	2024-11-09 16:14:20 -08:00
Steve Dunham	2857321b39	Fill in a little more of the PLFA Lists example	2024-11-09 16:00:38 -08:00