From b053ce27dba03d631473ea9bb7d62c874e25f2bd Mon Sep 17 00:00:00 2001 From: duanebester Date: Fri, 4 Jan 2019 12:55:51 -0600 Subject: [PATCH] Fix #5672: Update Features page with correct links to doc --- docs/_includes/features.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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