Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Rename Types to TypeLevel to follow type-level-natural-numbers package

--HG--
rename : Types/Boolean.hs => TypeLevel/Boolean.hs
rename : Types/Number/Classes.hs => TypeLevel/Number/Classes.hs
rename : Types/Number/Int.hs => TypeLevel/Number/Int.hs
rename : Types/Number/Int/Types.hs => TypeLevel/Number/Int/Types.hs
rename : Types/Number/Nat.hs => TypeLevel/Number/Nat.hs
rename : Types/Number/Nat/Num.hs => TypeLevel/Number/Nat/Num.hs
rename : Types/Number/Nat/Types.hs => TypeLevel/Number/Nat/Types.hs
rename : Types/Util.hs => TypeLevel/Util.hs
  • Loading branch information...
commit fa5888633c417f6fcdb172d396d1e7b35b48865e 1 parent a0f557f
Aleksey Khudyakov authored
0  Types/Boolean.hs → TypeLevel/Boolean.hs
View
File renamed without changes
0  Types/Number/Classes.hs → TypeLevel/Number/Classes.hs
View
File renamed without changes
0  Types/Number/Int.hs → TypeLevel/Number/Int.hs
View
File renamed without changes
0  Types/Number/Int/Types.hs → TypeLevel/Number/Int/Types.hs
View
File renamed without changes
0  Types/Number/Nat.hs → TypeLevel/Number/Nat.hs
View
File renamed without changes
0  Types/Number/Nat/Num.hs → TypeLevel/Number/Nat/Num.hs
View
File renamed without changes
0  Types/Number/Nat/Types.hs → TypeLevel/Number/Nat/Types.hs
View
File renamed without changes
0  Types/Util.hs → TypeLevel/Util.hs
View
File renamed without changes
Please sign in to comment.
Something went wrong with that request. Please try again.