542 followers Alejandro Russo @poke48k Security libraries are getting dependently-typed. Scary? No! Fascinating! https://t.co/zagr0MdPaF 23 Feb 2019 Reply Repost Favourite