3 ms·
My understanding is that Agda puts much less emphasis on general programming. It's more focused on proving.
by pseudonom- 11y ago
My understanding is that Agda puts much less emphasis on general programming. It's more focused on proving.
loading thread…