1. 17
    Verified Networking using Dependent Types pdf compsci networking simonjf.com
    kyle avatar via kyle 4 years ago | cached | 1 comment

  1.  

  2. 3
    puffnfresh avatar puffnfresh edited 4 years ago | link

    There’s also a blog post about the library here:

    https://lobste.rs/s/leicfx/networking_in_idris

    And a networked version of Pong, here:

    http://www.simonjf.com/wordpress/?p=42