diff options
| author | Gianfranco Costamagna <costamagnagianfranco@yahoo.it> | 2017-11-26 11:35:55 +0100 |
|---|---|---|
| committer | Gianfranco Costamagna <costamagnagianfranco@yahoo.it> | 2017-11-26 11:35:55 +0100 |
| commit | 8c1a687832c7d9fbdadf0101d4ca38e4d2bc7663 (patch) | |
| tree | c1667518d66e8f59ea2b396d20f7af65e2d3b857 /src/Data/Vec/All.agda | |
| parent | 174ac85a8ef2ded5301003fca9ad4d45418c0ad3 (diff) | |
From Helmut Grohne: Tighten up agda relation ships to detect incompatibility next time.
From Gianfranco Costamagna: Bump std-version, change priority to optional
Diffstat (limited to 'src/Data/Vec/All.agda')
0 files changed, 0 insertions, 0 deletions