!3518: User's Guide: KnownNat evidence is Natural · Merge requests · Glasgow Haskell Compiler / GHC · GitLab

Vladislav Zavialov requested to merge wip/known-nat-docs into master Jun 13, 2020

User's Guide: KnownNat evidence is Natural

This bit of documentation got outdated after commit 1fcede43