3 ms·
Agda. Not as in something i'd use everyday, but using it definitely shaped the way i reason about programming and type systems
by nephanth 2y ago
Agda. Not as in something i'd use everyday, but using it definitely shaped the way i reason about programming and type systems