FRESH

Hacker News

AWS Duvet: a bidirectional link between implementation and specification

11 points by forks

by arianvanp

0 subcomment

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.