romac

Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems

Company:@informalsystemsLocation:Lausanne, Switzerland

romac's Followers