Skip to content
Browse files

Small bugfix.

  • Loading branch information...
1 parent 8a731b1 commit dffd7307c7c5c670d92adb5ba33acbaa9717006d @luqui committed Feb 18, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 experiments/icl.hs
View
2 experiments/icl.hs
@@ -26,7 +26,7 @@ newNeutral = do
rwhnf :: Term -> Term
rwhnf (t :% u) =
case rwhnf t of
- Lam z -> subst 0 u z
+ Lam z -> rwhnf (subst 0 u z)
t' -> t' :% u
rwhnf x = x

0 comments on commit dffd730

Please sign in to comment.
Something went wrong with that request. Please try again.