git.iko.soy/typeable/gitrev
on 2ae047b help sign in
typeable/gitrev
1 folder, 7 files
src/Merge PR #2 .gitignoreInitial commit .travis.ymlbump version and use hvr's travis.yml Example.hsadd commit date of the current HEAD LICENSEInitial commit README.mdadd travis badge Setup.hsspin off git revision machinery from Cryptol gitrev.cabalbump version and use hvr's travis.yml