3 ms·
I'm not sure if you would call this a formal specification but I find the Go Language Reference (https://go.dev/ref/spec https://go.dev/ref/spec) quite approach
by commandersaki 3y ago
I'm not sure if you would call this a formal specification but I find the Go Language Reference (https://go.dev/ref/spec https://go.dev/ref/spec) quite approachable compared to other language specifications (looking at you C).