sayo-hs/heftia
1
1
Fork 0
mirror of https://github.com/sayo-hs/heftia.git synced 2024-11-26 23:05:04 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

[fix] Minor revision.

Browse Source
This commit is contained in:
Yamada Ryo 2023-09-17 15:55:08 +09:00
parent 6727a50369
commit 2c0df45766
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
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/examples/02 Higher-order.md
View File

@ -332,7 +332,7 @@ By the way, if you want to elaborate other higher-order effect classes at the sa
The type application of `runElaborate` is currently necessary for the type to be correctly inferred. However, this syntactical verbosity is expected to be improved in future versions.
#### Save Logs to a File
#### Save Logs to Files
Let's move on to the next example.