diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2025-03-07 17:21:52 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2025-03-13 13:21:06 +0000 |
| commit | 1ebeb5fd02ed86c2743e15c5b3ca2a489346db4d (patch) | |
| tree | f88834cd7b029343a1ad4a5969258e4022fdd00d /src/Inky/Decidable.idr | |
| parent | f5b75edd91389f0a45045b707abfa36c746e8d54 (diff) | |
Make `foldcase` syntactic sugar.
Diffstat (limited to 'src/Inky/Decidable.idr')
0 files changed, 0 insertions, 0 deletions