Skip to content
This repository has been archived by the owner on Apr 23, 2021. It is now read-only.

Add a way to run the extraction process #20

Open
emillon opened this issue Jun 25, 2019 · 0 comments
Open

Add a way to run the extraction process #20

emillon opened this issue Jun 25, 2019 · 0 comments

Comments

@emillon
Copy link
Collaborator

emillon commented Jun 25, 2019

Going further than #19, we can add a way to run the extraction process. This can use coq rules, but will probably be too slow to be done at build time.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@emillon