git.iko.soy/type-fun
on ccddf7e help sign in
ccddf7eMerge tag '0.1.0'Aleksey Uimanov 0853befMerge branch 'release/0.1.0' into production0.1.0Aleksey Uimanov 1cecd27Bump version to 0.1.0 and update changelogAleksey Uimanov 3b8f0b1Compilable under ghc-7.8.4Aleksey Uimanov 37a5192add unsafe proofsAleksey Uimanov 77cb83cadd Substract type familyAleksey Uimanov 825273dupdate cabal fileAleksey Uimanov 8832366add changelogAleksey Uimanov da54d38explicit exportsAleksey Uimanov 846c0b0gitignoreAleksey Uimanov 5b4fad4Add (:++:)Aleksey Uimanov 4819b04Add 'Index' versions without Maybe outputAleksey Uimanov 87d7e96beautifyAleksey Uimanov 7c20294add Union and intersectionAleksey Uimanov 1392072better docsAleksey Uimanov b790b61add TypeFun.ConstraintAleksey Uimanov a674eb9more typefunAleksey Uimanov 43dc65egitignoreAleksey Uimanov 640a287rewrite with peanoAleksey Uimanov 8c32be3Add peano numbersAleksey Uimanov 5aefb8crename Internal to ErrorsAleksey Uimanov 78ab8fdhacking ..Aleksey Uimanov 23bb88cit worksAleksey Uimanov e34469dinitialAleksey Uimanov