Software engineer with an interest in type theory and functional programming. Rocket and strafe jumping fanatic 
Stars
1
star
written in Scala
Clear filter