eschnett / wavetoy7 / 20

Builds Branch Commit Type Ran Committer Via Coverage
20 master Add more proofs Add more proofs. Update to lts-11.8. Simplify Applicative tests. push eschnett travis-ci pending completion
19 master Rename file Function.hs to MCategory.hs push eschnett travis-ci pending completion
18 master Add MFunctor test cases push eschnett travis-ci pending completion
17 master Prove certain properties push eschnett travis-ci pending completion
16 master Clean up code push eschnett travis-ci pending completion
15 master Turn ChebFun into an MCategory push eschnett travis-ci pending completion
14 master Test MCategory instance of ChebFun push eschnett travis-ci pending completion
13 master Introduce MCategory, categories with flexible morphisms push eschnett travis-ci pending completion
12 master Add restricted test for function composition for ChebFun push eschnett travis-ci pending completion
11 master New module ChebFun Function composition is broken. push eschnett travis-ci pending completion
10 master Reduce test case size push eschnett travis-ci pending completion
8 master Add benchmarks, improve performancs push eschnett travis-ci pending completion
7 master Some cleanup push eschnett travis-ci pending completion
6 master Comonads for Unbox push eschnett travis-ci pending completion
5 master "Unbox" category. No comonads yet. push eschnett travis-ci pending completion