Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
coqBackend.ml
Find file
Blame
History
Permalink
Get rid of some Obj.t in the interface of the extraction of Coq parsers.
· 01aeda9e
Jacques-Henri Jourdan
authored
Feb 25, 2019
01aeda9e