4 ms·What language?by UltraSane 2mo agoWhat language?black_knight 2mo agoAgda. 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!