diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-31 17:52:54 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-31 17:52:54 +0100 |
| commit | 389a38f8b114379b9ee8c37da78a4ab1986883d6 (patch) | |
| tree | 12ef50e6b385a7343bb8b5856efede135ebd52b8 /src/Core/Var.idr | |
| parent | a3a7020df35df764e01802089bba21079dcb0ddd (diff) | |
Define thinning composition.
Diffstat (limited to 'src/Core/Var.idr')
0 files changed, 0 insertions, 0 deletions