Name: Anonymous 2015-05-01 16:43
12 lines of Agda code is verified red-black tree insertion.
12 lines of Java code would be a class declaration with some getters/setters
12 lines of Java code would be a class declaration with some getters/setters