diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-01 15:14:04 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-01 15:14:04 +0100 |
| commit | ef4dd592eea7e241583ea8c39a08092e11ef8b98 (patch) | |
| tree | 202129c71f8e21de65fe914bb7bde0ee6c3aab07 /src/Core/Thinning.idr | |
| parent | a90932302afa9e13b8ed6f1159fbe604c89d453f (diff) | |
State typing respects environment equality.
Diffstat (limited to 'src/Core/Thinning.idr')
0 files changed, 0 insertions, 0 deletions