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/M/Indexed.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/M/Indexed.agda')
0 files changed, 0 insertions, 0 deletions