epfl-lara/leon — pull request #66 by samarion (2014-10-29 18:31:15+00:00)
Title: Added higher-order function support to Leon

Any ideas for more tests?