on 00ea129 help sign in
3 files
../ CrossImpl.hsUpdate to use dependent-map-0.2.* and dependent-sum-0.3.* Micro.hsUpdate benchmarks and add tests RunAll.hsUpdate benchmarks and add tests