herulume

@herulume

Activity

Loading

There was an error loading users activity calendar.

Loading

who: Eduardo Jorge | what: fp, formal methods, infosec | where: UMinho | how: Haskell, Rust, Idris, Coq | when: hopefully right now

Portugal

Member since June 04, 2018