Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

stopping here.

  • Loading branch information...
commit 2b95a3b31dbb9780ebbee114618127a56339077a 1 parent d0a7e6e
@technogeeky authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 src/Language/PiEtaEpsilon/Multiplate.hs
View
4 src/Language/PiEtaEpsilon/Multiplate.hs
@@ -105,7 +105,7 @@ instance Multiplate Plate where
(\l r -> (:::) <$> term1 plate l <*> term1 plate r)
(\l r -> (:+:) <$> term1 plate l <*> term1 plate r)
(\l r -> (:*:) <$> term1 plate l <*> term1 plate r)
- (pure (Id))
+ (\_ -> (Id))
-- resulting in contexts:
-- (\c t0 -> Fst <$> cxtL plate c t0 <*> term2 plate t0 t0)
@@ -119,7 +119,7 @@ instance Multiplate Plate where
(\l r -> build term1 ((:*:) l r))
-- (\c t -> build cxtL (Fst c t) t)
-- (\c t -> build cxtL (LSum c t) t)
- (build term1 (Id))
+ (\_ -> build term1 (Id))
--
-- Examples for testing go here
Please sign in to comment.
Something went wrong with that request. Please try again.