Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • v0.4
2 results
Created with Raphaël 2.2.020Feb1930Jan29Jun30May27Apr1410Feb9510Nov516Dec24Apr122Nov17Oct29Sep4Aug3OctFix the codemeta.json filemastermasterFix the codemeta.json fileCreate a codemeta.json fileUpdate the README.md fileUpdate the digger.cabal fileUpdate the AUTHORS fileRename Readme.md to README.mdCreate an AUTHORS fileUpdate copyright headersCI: Update the debian versionCI: Display current opam configurationBump versionv0.4v0.4Update copyright noticesCI: Use local debian mirror instead of cache.Collect types also for non-monadic functionsWiden dependenciesBuild and test executable with CIUpdate cabal metadataWiden dependenciesUse cabal v2 commands to buildBump versionAutomatically insert _ for dependency namespaceAccept Axioms in JSONWiden dependenciesUpdate stackage LTS versionWiden dependenciesUpdate the ReadmeExpose the new parameter to the commandlineRequire ExtractionEta-expand function definitionsEta-expand bind applicationsLift an internal function to Except monadWiden dependenciesAdd a simple example to show how to use diggerWiden dependenciesMerge tag 'v0.2' into developMerge branch 'release/v0.2'Rewrite coq2c. Rename it digger.Merge branch 'release/v0.1'cosmetic filename