John Lumley

I've taken a slightly different 'bottom-up' approach with the following steps: - Identify all reachable productions that can directly produce a start term of `{`, i.e. where any alternative has...

> A struct to me means a record (I think it's Algol 68 terminology). > It certainly appears on page 57 of the [Revised Report](https://www.softwarepreservation.org/projects/ALGOL/report/Algol68_revised_report-AB-600dpi.pdf)

For named types would we use a construct `??~type(FOO)` and for atomics `??~xs:integer` or even `??~integer` given `xs:` default?

Is there any restriction on using something like `element` as an `ItemType` name? (I can only see restrictions against using atomic type names). If the are none, then `a/~element` would...