diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-06-13 23:28:11 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-06-14 14:14:49 +0300 |
| commit | f86ccecf5e352fb14375ff012a308b9b77463245 (patch) | |
| tree | 33c6a18a63e6b91ed81f198106f0e4918ac45b4f /docs/users_guide/index.rst | |
| parent | a31218f7737a65b6333ec7905e88dc094703f025 (diff) | |
| download | haskell-wip/known-nat-docs.tar.gz | |
User's Guide: KnownNat evidence is Naturalwip/known-nat-docs
This bit of documentation got outdated after commit
1fcede43d2b30f33b7505e25eb6b1f321be0407f
Diffstat (limited to 'docs/users_guide/index.rst')
0 files changed, 0 insertions, 0 deletions