[Agda] More aggressive `with`: Please check your Agda-2.4.2 developments!

Andrés Sicard-Ramírez asr at eafit.edu.co
Thu Nov 19 20:43:05 CET 2015


On 19 November 2015 at 13:32, effectfully <effectfully at gmail.com> wrote:
> Where should I put "--force-reinstalls"?

$ make install-bin CABAL_OPTS=--force-reinstalls



-- 
Andrés


More information about the Agda mailing list