Skip to content
GitLab
Explore
Sign in
Register
Nils Fitinghoff
why3
Repository
why3
drivers
cakeml.drv
Find file
Blame
History
Permalink
Extraction: sml_printer.ml -> cakeml_printer.ml
· ed326de5
Mário Pereira
authored
May 01, 2018
There are some incompatibilities between SML and CakeML syntax (e.g. application of Constructors)
ed326de5