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

Fixed link to extensionality in Lists

Browse source
This commit is contained in:
Wen Kokke 2018-04-15 09:41:28 +01:00
parent 80eb1aff98
commit 68c23ebd78
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B
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/Lists.lagda
View file

@ -30,7 +30,7 @@ postulate
extensionality : ∀ {A B : Set} {f g : A → B} → (∀ (x : A) → f x ≡ g x) → f ≡ g
\end{code}
[extensionality]: Equality/index.html#extensionality
[extensionality]: Equality#extensionality
## Lists