Giters

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Home Page:https://wiki.portal.chalmers.se/agda/pmwiki.php

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Changelog for #7183

plt-amy opened this issue · comments

commented

Just realized I included a changelog for the deprecation of the --overlapping-instances name, but not for the feature itself. (This issue is just a note to myself)