agda-editor-tactics
An editor tactic to produce Σ-types from Agda records
An editor tactic to produce Σ-types from Agda records
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| melpa GitHub ↗ | 20211024.2357 | 1 | 23 h | details › |
An editor tactic to produce Σ-types from Agda records
An editor tactic to produce Σ-types from Agda records
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| melpa GitHub ↗ | 20211024.2357 | 1 | 23 h | details › |