Merge branch 'master' of github.com:wenkokke/sf

No idea.
2018-04-15 10:44:08 -03:00 · 2018-04-15 10:44:08 -03:00 · d3c48c48e5
commit d3c48c48e5
parent 11d5fe279f 68c23ebd78
1 changed files with 1 additions and 1 deletions
--- a/src/Lists.lagda
+++ b/src/Lists.lagda
@ -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