Post

p1xelHer0
@p1xelher0.com

People talk about dependent types but where are all the independent types aka indie types?

0 reposts2 likes

Patrik Svensson
@patriksvensson.se

They're frankly an acquired taste. Unless you hang out in underground programmer classes in a basement in Paris, there's a chance you've never heard about them. Anyway, they're currently my favourite type of types.