aspiwack
Arnaud Spiwack
Multi-classed Software Engineer/Constructive Mathematician My interests include: - Dependent Type Theory - Dependently Typed Programming - Functional Programming - Programming & Mathematical Foundations - Programming Language theory
Start a chat
Your conversation will be end-to-end encrypted.

Following (0)

Followers (1)

mboes
Mathieu Boespflug

Browse others (14)

kubenz
jakub
harrsch
Chris Harrsch
echocoder
Sean (EchoCoder)
patrickdev
Patrick de Vos
jhiggins
Joseph J. Higgins III
leonleon
Leon Yin
epiccashguide
Epic Cash
adam_lazar
Ádám Lázár
toddhay
Todd Hay
chileancow
chileancow
doniczka
Donik Wital