Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

D

digger
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

bf2f820c

Commit bf2f820c authored 7 years ago by Julien Cartigny

Downloads
- Plain Diff

Merge tag 'v0.2' into develop

version 0.2

parents 1c9e0f83 17c8418e

No related branches found

No related tags found

No related merge requests found

Changes 11

Expand all Show whitespace changes

Inline Side-by-side

Showing

.gitignore 5 additions, 1 deletion

.gitignore
Makefile 17 additions, 3 deletions

Makefile
Readme.md 12 additions, 9 deletions

Readme.md
app/digger.hs 353 additions, 0 deletions

app/digger.hs
coq2c.cabal 0 additions, 33 deletions

coq2c.cabal
coq2c.hs 0 additions, 1367 deletions

coq2c.hs
digger.cabal 54 additions, 0 deletions

digger.cabal
src/Language/Coq/Deep.hs 766 additions, 0 deletions

src/Language/Coq/Deep.hs
src/Language/Coq/ExtractedAST.hs 537 additions, 0 deletions

src/Language/Coq/ExtractedAST.hs
stack.yaml 1 addition, 1 deletion

stack.yaml
version 1 addition, 1 deletion

version

with 1746 additions and 1415 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment