Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
compiler
simplCore
Simplify.lhs
Find file
Blame
History
Permalink
Comment fix: use the same variable names in the conclusion as in the premise.
· fe204a04
Peter Jonsson
authored
Jun 18, 2009
fe204a04