Completed
Push — master ( 61718d...f1e4e4 )
by Ivannis Suárez
18:46
created

Changes

Good job, 2 issues were fixed.
1 new patch (Spacing) is available.
3 added classes/operations
Arrow A Criteria::callback() added
Arrow A Specification::innerCallback() added
Arrow A CriteriaTests::testCallback() added
9.82
▶   ± 0
Head
karel  
added hashable and predicates
Base
karel  
refactoring callable and comparable