git.iko.soy/type-fun
on master help sign in
history of77cb83c..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