Hacker news

  • Top
  • New
  • Past
  • Ask
  • Show
  • Jobs

AWS Duvet: a bidirectional link between implementation and specification (https://awslabs.github.io)

11 points by forks 1 day ago | 1 comments | View on ycombinator

arianvanp 1 day 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.