herulume
@herulume
Personal projects
View all- Loading
Loading
About
who: Eduardo Jorge | what: fp, formal methods, infosec | where: UMinho | how: Haskell, Rust, Idris, Coq | when: hopefully right now
Info
Portugal
Member since June 04, 2018