diff options
| author | Ohad Kammar <ohad.kammar@gmail.com> | 2024-01-19 05:58:29 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-19 05:58:29 +0000 |
| commit | bc7b577dfb66ee557abe0f3190366711bdcada0f (patch) | |
| tree | 91a80b398c94aaa6730fa0ec1984ac50be4bf1f9 /src/SOAS/Context.idr | |
| parent | d47d7971c53378c554d3350c42c273aa5b89ca2b (diff) | |
| parent | 7397438cef1534f42cf2aee07b7085da726c5263 (diff) | |
Merge pull request #1 from mjustus/main
Light refactoring
Diffstat (limited to 'src/SOAS/Context.idr')
0 files changed, 0 insertions, 0 deletions