3 ms·
Identical up to one algorithm taking a few seconds, and another taking as long as the universe has been alive :)
by Peaker 12y ago
Identical up to one algorithm taking a few seconds, and another taking as long as the universe has been alive :)
- tel 12y agoWho runs Agda code anyway? :)