Skip to content
Snippets Groups Projects
Commit 97045192 authored by Vincent Siles's avatar Vincent Siles
Browse files

minor typo in ra.md

parent f52f9f6a
No related branches found
No related tags found
No related merge requests found
......@@ -249,7 +249,7 @@ Using these combinators, one can easily construct bigger functors in point-free
style and automatically infer their contractivity, e.g:
```coq
F := gmaURF K (agreeRF (prodOF (constOF natO) (laterOF idOF)))
F := gmapURF K (agreeRF (prodOF (constOF natO) (laterOF idOF)))
```
which effectively defines the desired example functor
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment