jml :: Jonathan Lange – SPAKE2 in Haskell: How HaskellÂ Helped - discu.eu

Lobsters

SPAKE2 in Haskell: How Haskell Helped https://jml.io/2017/10/spake2-how-haskell-helped.html 5 comments 13/10/2017 haskell

Linked pages

GitHub - magic-wormhole/magic-wormhole: get things from one computer to another, safely https://github.com/warner/magic-wormhole 244 comments
Phantom type - HaskellWiki https://wiki.haskell.org/Phantom_type 22 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:jml.io

Search title: jml :: Jonathan Lange – SPAKE2 in Haskell: How HaskellÂ Helped

See how to search.

Submit link to: