kosmikus
Andres Löh
Functional programming and dependent types enthusiast /
Haskell Consultant at Well-Typed
Regensburg, Germany
Following (12)
![]() |
wehr Stefan Wehr |
![]() |
d_christiansen David Raymond Christiansen |
![]() |
seanleather Sean Leather |
![]() |
ath Alexander Thiemann |
![]() |
sjoerdvisscher Sjoerd Visscher |
![]() |
byorgey Brent Yorgey |
![]() |
sperber Michael Sperber |
![]() |
tacticalgrace Manuel Chakravarty |
![]() |
np Nicolas Pouillard |
![]() |
ezyang Edward Z. Yang |
Followers (85)
![]() |
pthariensflame Laine Taffin Altman |
![]() |
adamgundry Adam Gundry |
![]() |
arifordsham Ari Fordsham |
![]() |
tdfstudio |
![]() |
cjw Christopher Wilson |
![]() |
magalytrotzz7s9 Magaly Trotz |
![]() |
buosgov Grigorev Vladlen |
![]() |
nicunechita Nicu Nechita |
![]() |
financialshouses Delcie Mcconnell |
![]() |
attemptsane Carmelina Lupien |
Browse others (15)
![]() |
emmonsboco Eric Emmons |
![]() |
benzapha Alexis Zhang |
![]() |
arpan86 Ruben Aruan |
![]() |
tommorton Morton |
![]() |
arunesh90 arunesh90 |
![]() |
bendisposto Jens Bendisposto |
![]() |
nullflux Adam Weber |
![]() |
rjfd Ricardo Dias |