diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-06-13 23:28:11 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-15 13:11:20 -0400 |
| commit | cf01477f03da13caaf78caacc5b001cb46a86685 (patch) | |
| tree | cc4afae8540224c7337db4a328270fdd4c98df7a /docs/users_guide/utils.py | |
| parent | 761dcb84cd4c50c6fbb361eb26fb429af87392a3 (diff) | |
| download | haskell-cf01477f03da13caaf78caacc5b001cb46a86685.tar.gz | |
User's Guide: KnownNat evidence is Natural
This bit of documentation got outdated after commit
1fcede43d2b30f33b7505e25eb6b1f321be0407f
Diffstat (limited to 'docs/users_guide/utils.py')
0 files changed, 0 insertions, 0 deletions