Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
demos
calc-inspection
calc.ml
Find file
Blame
History
Permalink
Changed the type [explanation] to an abstract, unparameterized type.
· 1d345d23
POTTIER Francois
authored
Aug 29, 2015
1d345d23