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 (84)
![]() |
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)
![]() |
kzper Henley SARAMANDIF |
![]() |
gnorizo Christopher Russell |
![]() |
stacywisebwell Stacy Wise |
![]() |
skiznotic Gunnar |
![]() |
jnovinger Jason Novinger |
![]() |
jakegoulding Jake Goulding |
![]() |
b_rad Brad Larson |
![]() |
motownfire ain't your business |
![]() |
alr Alexandre |
![]() |
chankaming 陳家明 |
![]() |
alanwoosnam Alan Woosnam |
![]() |
deepak125 Deepak Jha |
![]() |
brian_esquenazi Brian Esquenazi |