From 4ebde6b0846d29ccab283e9211162dd9c09ccf9a Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Thu, 13 Mar 2014 13:52:40 +0100 Subject: Strip links from recently added html tests These were accidentally left there when the tests were originally added --- html-test/ref/TypeOperators.html | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'html-test/ref/TypeOperators.html') diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index ead02dfc..1a53b8ec 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -120,7 +120,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");} >

biO :: (g :: (g `O` f) a

x :: (a :: (a :-: a) a) <=> (a (a `Op` a) => a

y :: (a :: (a <=> a, (a a, (a `Op` a) a) <=> a) => a