diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-07-03 18:21:50 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-07-03 18:21:50 +0100 |
| commit | 9039055d9a994bde34e0c0bfedad1a72cd9c17a7 (patch) | |
| tree | d9a843875ee25b64797e56889a8788b7910afde5 /src/Encoded/Sum.idr | |
| parent | 6385ecf96cd60885c221e3144b5a5ec63eb5c831 (diff) | |
Add literals as primitive term.
Diffstat (limited to 'src/Encoded/Sum.idr')
0 files changed, 0 insertions, 0 deletions