git.iko.soy/type-fun
on master help sign in
history of87d7e96..master
compare
a90d4b7Merge tag '0.1.2'Aleksey Uymanov 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