Comment on Writing Linux Modules in Ada (2016)parentComments−touisteur3yI'm actually curious whether someone has formalized message formats/grammar, protocol specs (state management, timing specs,...) for QUIC or IMAP, in some parseable form other than free-form text.
Comments
I'm actually curious whether someone has formalized message formats/grammar, protocol specs (state management, timing specs,...) for QUIC or IMAP, in some parseable form other than free-form text.