Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
docs
algebra.tex
Find file
Blame
History
Permalink
Fix typo in docs: fixpoints can only be taken of endo-functions.
· c73f0c68
Robbert Krebbers
authored
Dec 10, 2017
c73f0c68