diff --git a/docs/_includes/features.html b/docs/_includes/features.html index 8238565cad5d..deaa064cb530 100644 --- a/docs/_includes/features.html +++ b/docs/_includes/features.html @@ -9,7 +9,7 @@

So, features?

- Union, intersection and literal singleton types + Union, intersection and literal singleton types Implemented @@ -25,23 +25,23 @@

So, features?

Implemented - Option-less pattern matching + Option-less pattern matching Implemented - Automatic tupling of function parameters + Automatic tupling of function parameters Implemented - Multiversal equality + Multiversal equality Implemented - Implicit function types + Implicit function types Implemented - Erased Terms + Erased Terms In progress