A method of documenting and formally specifying communication protocols, by the Network Working Group of the IETF.

Based on AsciiDoc and Idris.