Compare AML polymorphism with Ocaml polymorphism

Andromedans / andromeda

A proof assistant for general type theories

http://www.andromeda-prover.org/

Other

297 stars 34 forks source link

Compare AML polymorphism with Ocaml polymorphism #346

Open SkySkimmer opened 8 years ago

SkySkimmer commented 8 years ago

The ocaml manual is getting information on the value restriction etc, so we should see if there are any important differences with AML and if so whether we want to keep them or just point them out on the website. https://github.com/ocaml/ocaml/pull/594

andrejbauer commented 8 years ago

What exactly is this issue asking for?