Bjarki Ágúst Guðmundsson
Results
5
issues of
Bjarki Ágúst Guðmundsson
http://e-maxx.ru/algo/assignment_hungary
I had something like the following (hypothetical) code snippet: ~~~idris (++) : Nat -> Nat -> Nat ~~~ Then, while hovering over the left parethesis, I hit <LocalLeader>d and got...
A new gcl alternative from Apple.