Leveraging the Go Type System
news.ycombinator.com | 2021-02-09
A couple, you can start here to see how the Active Oberon based OS looked like,
Some links are broken now, because ETHZ no longer hosts the A2 site, however you can get the latest language report at http://cas.inf.ethz.ch/boards/2/topics/1
And the source code and old documents for the original A2 OS at github, https://github.com/metacore/A2OS
metacore/A2OS is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.