[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