Skip to content
Permalink
Browse files

Make how-to.md mention that CakeML supports polymorphism

  • Loading branch information...
myreen committed May 14, 2019
1 parent d12bf8c commit 6d866c2125f6ae951852faeac79afe7e89864bac
Showing with 9 additions and 0 deletions.
  1. +9 −0 how-to.md
@@ -385,6 +385,15 @@ in
end;
```
However, CakeML supports polymorphism and `local` which means that the
following version works:
local
val x = []
in
val y = (1::x, "hi"::x)
end;
What next?
----------

0 comments on commit 6d866c2

Please sign in to comment.
You can’t perform that action at this time.