on 00ea129 help sign in
1 file
../ Class.hsUpdate to use dependent-map-0.2.* and dependent-sum-0.3.*