Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/agda/agda/issues/6943 below:

Making `--exact-split` and `--postfix-projections` default? · Issue #6943 · agda/agda · GitHub

I wonder when is a good time to change some defaults?

• 2.6.5?
• or do we have to bump to 2.7 then?

Candidates for defaults:

• --exact-split
• --postfix-projections
• --prop

Anything else?

• --keep-pattern-variables
• --erasure

I think it would be good to bundle such changes so migration (like adding flags to .agda-lib files) can be done in one go.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4