3 ms·
Type-Driven Development with Idris. If you haven't delved into dependent typing before, you absolutely owe it to yourself.
by mixedCase 5y ago
Type-Driven Development with Idris. If you haven't delved into dependent typing before, you absolutely owe it to yourself.