diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:29:32 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:29:32 +0000 |
| commit | d55bab90ca4455dbd9406a1ca7dd4d74d1a39a36 (patch) | |
| tree | 7eb3ae0d0c61c81a81f0dbcf4fadbe73bda9a782 /src/Soat/Data/Sublist.idr | |
| parent | e8b8d6063adb69188c0b971dc641fabf3fdb53cc (diff) | |
Define introductors for Pointwise.
Diffstat (limited to 'src/Soat/Data/Sublist.idr')
0 files changed, 0 insertions, 0 deletions