Skip to content
Snippets Groups Projects
Commit 5de57cc2 authored by Michael Hanus's avatar Michael Hanus
Browse files

Fix typo

parent 3c6aabc5
Branches master
Tags v1.0.0
No related merge requests found
......@@ -11,7 +11,7 @@ of some Curry features.
annotations to mark deterministic operations as described in
<http://dx.doi.org/10.1007/978-3-319-51676-9_1>
* 'Language.Curry.CheckOperations`: check the correct use of
* `Language.Curry.CheckOperations`: check the correct use of
[set functions](http://doi.acm.org/10.1145/1599410.1599420)
and whether some auxiliary operations are not used, mainly
the non-strict equality operation `Prelude.=:<=` which used
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment