Dani

I love learning things and meeting new people! She/her | Haskell | Rust | Agda | Functional Programming | zkSNARKs | Formal Methods | DMs are open!