Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
monolith
Repository
monolith
demos
working
stack_prologue
Main.ml
Find file
Blame
History
Permalink
Remove the [name] argument to [declare_abstract_type]. Update all demos.
· 6e86b1ea
POTTIER Francois
authored
Oct 18, 2020
6e86b1ea