André Videla
@andre_videla
I speak Idris, Haskell, Agda, Swift. My views allow dependent pattern matching github.com/andrevidela He/him
Find me at: @[email protected]
ID: 761714760161329152
06-08-2016 00:05:25
5,5K Tweet
978 Followers
224 Following