on e876aaa help sign in
3 files
../ CrossImpl.hsUpdate to use dependent-map-0.2.* and dependent-sum-0.3.* Micro.hs. RunAll.hsFix 7,8 issues hopefully