Andrés Sicard-Ramírez
Andrés Sicard-Ramírez
I have seen cited a previous version of the article as > Per Martin-Löf. On the meanings of the logical constants and the justifications of the logical laws. Technical Report...
It seems the above technical report is available [here](http://www.cs.cornell.edu/info/Projects/Nuprl/cs671/cs671-fa99/martin.html). Should I create a PR adding this technical report?
From the last page in the 1996 paper: > The preceding three lectures were originally published in the Atti degli Incontri di Logica Matematica, Vol. 2, Scuola di Specializzazione in...
> Another option would be to use `MonadFail`. This was my first try but I had some problems. Now, I could fix the problems based on the new module [Agda/Utils/Fail.hs](https://github.com/agda/agda/blob/32d8daf35015003c0e8d724f194c1bfd69e8177b/src/full/Agda/Utils/Fail.hs)...
@Saizan, why did you assign milestone `2.6.0` instead of milestone `2.5.4`/`2.5.5` to this issue?
I don't understand all the details but it is a consequence of mixing Cabal v1- and v2-commands for installing different programs. I only use Cabal v1-commands because Agda uses them,...
Blocking https://github.com/agda/agda/issues/3725.
@recursion-ninja, the above link doesn't work. EDIT: Thanks for fixing the link.
> @andreasabel @asr have you tried building haddock documentation with haddock-2.18.1 (it is bundled with ghc-8.2.1)? Much has been done in this area. Please report back if you do a...