git.iko.soy/typeable/cabal2nix
on master help sign in
history of2cbb886..master
compare
260fa23Merge pull request #173 from Fuuzetsu/remove-agda-depsPeter Simons afa5a08don't specify ccphs/equivalence versionsMateusz Kowalczyk c3122d6hackage2nix: disable failing buildsPeter Simons 5421d54README.md: updatePeter Simons 3d2f60ddoc: add other resources section to the user-guide.mdPeter Simons d827dc6doc: simplify comments to be less confusingPeter Simons a6f271bhackage2nix: disable broken buildsPeter Simons b58a6a7doc: help github render user-guide.mdPeter Simons