top | item 46655401 AWS Duvet: a bidirectional link between implementation and specification 12 points| forks | 1 month ago |awslabs.github.io 1 comment order hn newest arianvanp|1 month ago 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.
arianvanp|1 month ago 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.
arianvanp|1 month ago
Golang has built in syntax for referring to RFC sections though and the syntax here seems incompatible which is a shame.