From: Simon Huber <hubsim@gmail.com>
Date: Tue, 16 Jun 2015 08:48:32 +0000 (+0200)
Subject: Typo
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=7cdbab4ae5c3fa9f6b7748a4d5b8960f6ec800a7;p=cubicaltt.git

Typo
---

diff --git a/Eval.hs b/Eval.hs
index 21bc555..f16918b 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -432,7 +432,7 @@ equivDom :: Val -> Val
 equivDom = fstVal
 
 equivFun :: Val -> Val
-equivFun = sndVal . fstVal
+equivFun = fstVal . sndVal
 
 -- TODO: adapt to equivs
 -- Every path in the universe induces an hiso