diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-07-17 22:51:32 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-07-26 21:55:45 +0200 |
| commit | 6c13b1285605020bb3c510dd1862d2d8d9828337 (patch) | |
| tree | d851f7c3ef20ff8016a778e01f2321e00526cbeb /src/ICE | |
| parent | 97427b2f49daa9d86661ad999d4da17ac7a4acb4 (diff) | |
Generalize head updates to provided MonadIO instances
Diffstat (limited to 'src/ICE')
0 files changed, 0 insertions, 0 deletions