diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-18 12:54:39 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-18 12:54:39 +0200 |
| commit | 55fca0c5c533625262c103be1b673011ec41f2d7 (patch) | |
| tree | 4a4712b1feb846b7cd1aaab698df8acd6c23821e /example/Main.hs | |
| parent | 7823027b3ff7508c303c0e6e68192a783b65a5c4 (diff) | |
An unused function (descrPrj)
Diffstat (limited to 'example/Main.hs')
0 files changed, 0 insertions, 0 deletions