AWS Duvet: a bidirectional link between implementation and specification (opens in new tab)

(awslabs.github.io)

12 pointsforks2mo ago1 comments

1 comments

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.

j / k navigate · click thread line to collapse

(awslabs.github.io)

12 pointsforks2mo ago1 comments

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.

j / k navigate · click thread line to collapse