ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 06:29:37 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #2575 from kojiromike/patch-1

Browse Source 
Typo fix
This commit is contained in:
David Christiansen 2015-09-03 08:02:07 -07:00
commit ef2f67793f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/effects/conclusions.rst
View File

@ -27,7 +27,7 @@ following places:
protocol description language.
The inspiration for the ``Effects`` library was Bauer and Pretnar’s
Eff language [2]_, which describes a langauge based on algebraic
Eff language [2]_, which describes a language based on algebraic
effects and handlers. Other recent languages and libraries have also
been built on this ideas, for example [3]_ and [4]_. The theoretical
foundations are also well-studied see [5]_, [6]_, [7]_, [8]_.