git.iko.soy/type-fun
on 0.1.2 help sign in
720157eMerge branch 'release/0.1.2' into production0.1.2Aleksey Uymanov 01e9fbdbumpAleksey Uymanov 8a9a989dockAleksey Uymanov 642b423testAleksey Uymanov 3d4e50bKnownPeanoAleksey Uymanov fe5ca13Merge tag '0.1.1'Aleksey Uimanov 97a123bMerge branch 'release/0.1.1' into productionAleksey Uimanov b982218Bump to 0.1.1Aleksey Uimanov 31d47c8fixAleksey Uimanov 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