Skip to content
GitLab
Explore
Sign in
Register
sheaf
GHC
Repository
ghc
compiler
GHC
Tc
Instance
Class.hs
Find file
Blame
History
Permalink
User's Guide: KnownNat evidence is Natural
· cf01477f
Vladislav Zavialov
authored
Jun 13, 2020
and
Marge Bot
committed
Jun 15, 2020
This bit of documentation got outdated after commit
1fcede43
cf01477f