Andrés Sicard-Ramírez
Andrés Sicard-Ramírez
The DOI for the missing work is [this](https://doi.org/10.1007/978-94-010-0526-5_16).
The date entry for 'On the Meanings of the Logical Constants and the Justification of Logical Laws' in the README is 1983 (the year of the lectures) but the article...
GHC 8.8.1-rc1 was [announced](https://mail.haskell.org/pipermail/ghc-devs/2019-July/017944.html). In this PR I fixed the compilation with this version of GHC. Blocking https://github.com/agda/agda/issues/3725.
After adding `-Werror` to `Agda.cabal` as a workaround for #5932, CI reported [this](https://github.com/agda/agda/runs/6676023533) problem (which I'm planning to fix). It seems `-Werror` was removed on 9365d0900f. Was there some specific...
I created this issue for collecting/reporting the required changes/issues for supporting `cabal-install 3.0.0.0`.
In the following example, the `prop_foo` property is ignored when `quickCheckAll` is used: ```haskell $ cat Test1.hs {-# LANGUAGE ImplicitParams #-} {-# LANGUAGE TemplateHaskell #-} import Test.QuickCheck prop_foo :: (?y...
I'm not familiar with the Ocaml tool-chain. Following the instructions in the README, I got the following problem: ``` $ make $ ocaml # #use "hol.ml";; val hol_version : string...
Running [this](https://github.com/alpmestan/statistics-linreg/blob/14c2f10088d1914b0303c191ec0d7243c8eb83ee/statistics-linreg.cabal#L16-L29) code sample, I got the following error: ```haskell Tesh.hs:12:11: error: Variable not in scope: linearRegression :: U.Vector Int -> U.Vector Int -> a0 Failed, modules loaded: none. ```
Running the code below in Ubuntu I got ``` $ ./Test The Glorious Glasgow Haskell Compilation System, version 8.0.1 Just ExitSuccess ``` but in Mac OS my student @jonaprieto got...