Diaspora Europe
Create account
Sign in
This website requires JavaScript to function properly. If you disabled JavaScript, please enable it and refresh this page.
2 people tagged with #agda
Isaac Bromberg
isbromberg@joindiaspora.com
#newhere
#haskell
#agda
ziman@diasp.eu
ziman@diasp.eu
#haskell
#fp
#programming
#physics
#agda
#agda
