diff options
| author | Justus Matthiesen <mail@justusmatthiesen.com> | 2024-01-17 14:19:43 +0000 |
|---|---|---|
| committer | Justus Matthiesen <mail@justusmatthiesen.com> | 2024-01-17 14:19:43 +0000 |
| commit | 7397438cef1534f42cf2aee07b7085da726c5263 (patch) | |
| tree | 91a80b398c94aaa6730fa0ec1984ac50be4bf1f9 /src/SOAS/Var.idr | |
| parent | d47d7971c53378c554d3350c42c273aa5b89ca2b (diff) | |
Light refactoring
Diffstat (limited to 'src/SOAS/Var.idr')
0 files changed, 0 insertions, 0 deletions