Paul Heymann

Improve exponential implicit search space

1

Currently, we experience an exponential growth of compile times with increasing API sizes. Taking a look at compiler statistics shows that we waste a lot of time during implicit resolution...

Get rid of `:= :>`

4

I had to use some initial empty state to guarantee that `"path"` is translated into a `Witness`. Why? Because an extension of `String` using `implicit class` was not able to...

Integrate [QuickCheck](https://github.com/david-christiansen/idris-quickcheck) into test framework.

Unit tests with Specdris and Travis CI Improvement.

10

I applied [Specdris](https://github.com/pheymann/specdris) to rewrite your unit tests: #### Advantages - nice dsl to create the tests and get formatted output - exit code depends on test result; if some...