michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed import at end of Properties

Browse source
This commit is contained in:
wadler 2018-03-07 17:40:56 -03:00
parent ee13c1c6ed
commit 67689be194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Properties.lagda
View file

@ -750,7 +750,7 @@ for all naturals `m`, `n`, and `p`.
Definitions from this chapter can be found in the standard library.
\begin{code}
import Data.Nat.Properties.Simple using (+-assoc; +-identityʳ; +-suc; +-comm)
import Data.Nat.Properties using (+-assoc; +-identityʳ; +-suc; +-comm)
\end{code}
## Unicode