4 ms·
Agda. Fable and Opus both know it quite well now. They need some guidance to create good-looking code, but man, they know how to grind!
by black_knight 2mo ago
Agda. Fable and Opus both know it quite well now. They need some guidance to create good-looking code, but man, they know how to grind!