Mentions légales du service
Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
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
POTTIER Francois authored6e86b1ea