diff options
| author | Ohad Kammar <ohad.kammar@gmail.com> | 2024-01-26 16:31:59 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-26 16:31:59 +0000 |
| commit | d90419ce0740331c8ef9ecdd77e875b3367331d3 (patch) | |
| tree | be770fbea7fcaae624d73f853683299b26039878 /src/SOAS/Var.idr | |
| parent | bc7b577dfb66ee557abe0f3190366711bdcada0f (diff) | |
| parent | c828b3fe3669132068b0cbcbe44d65edb5c6717e (diff) | |
Merge pull request #2 from yellowsquid/main
Derive `MonoidStruct` for `Term`.
Diffstat (limited to 'src/SOAS/Var.idr')
0 files changed, 0 insertions, 0 deletions