AWS Duvet: a bidirectional link between implementation and specification

awslabs.github.io

12 pointsforks1 comment

I thought this was about formal specifications. Anyhow still useful.

Golang has built in syntax for referring to RFC sections though and the syntax here seems incompatible which is a shame.