I speak Idris, Haskell, Agda, Swift. My views allow dependent pattern matching github.com/andrevidela He/him

Find me at: @[email protected]

ID: 761714760161329152

calendar_today06-08-2016 00:05:25