- Nov 20, 2022
-
-
Julian Ospald authored
-
- Nov 12, 2022
-
-
Julian Ospald authored
-
Julian Ospald authored
-
Julian Ospald authored
-
- Nov 10, 2022
-
-
Julian Ospald authored
-
Julian Ospald authored
-
Julian Ospald authored
-
- Oct 25, 2022
-
-
Jaro Reinders authored
-
- Aug 09, 2022
-
-
Cheng Shao authored
-
- Aug 08, 2022
-
-
amesgen authored
-
- Aug 06, 2022
-
-
Dmitrii Kovanikov authored
-
- Aug 05, 2022
-
-
Adrien authored
-
Adrien authored
Added and referenced solution in case of 'ghc version not found' for Linux VSCode + hls extension users.
-
Artem Pelenitsyn authored
-
- Jul 30, 2022
-
-
Julian Ospald authored
-
- Jul 23, 2022
-
-
Mike Pilgrem authored
The proposed addition does not go into the mechanism (the names of the specific environment variables or the PowerShell parameters) but is more express about in what manner the behaviour of the installation scripts can be changed. Introduces that important flexibility as the first topic under 'More on installation'. Explains that the PowerShell script finally (by default) runs the script for Unix-like operating systems (so a Windows user understands better that the environment variables in the former are applicable to both, and what is meant by the 'final' bootstrap script in the content of the Windows parameters). Refers to what has gone before, under 'Continuous integration', rather than repeat the added content.
-
Mike Pilgrem authored
-
- Jul 10, 2022
-
-
Julian Ospald authored
-
Julian Ospald authored
-
Julian Ospald authored
-
Julian Ospald authored
-
Julian Ospald authored
-
- Jul 02, 2022
-
-
Julian Ospald authored
-
- Jun 16, 2022
-
-
Adrien authored
Typo
-
- May 28, 2022
-
-
Julian Ospald authored
-
- May 22, 2022
-
-
Julian Ospald authored
-
- May 20, 2022
-
-
Julian Ospald authored
-
- May 16, 2022
-
-
Julian Ospald authored
-
- May 11, 2022
-
-
Julian Ospald authored
-
- May 04, 2022
-
-
Julian Ospald authored
Adds a --fail-if-shadowed switch.
-
- May 03, 2022
-
-
Julian Ospald authored
-
- Apr 30, 2022
-
-
Julian Ospald authored
-
- Apr 29, 2022
-
-
Julian Ospald authored
-
- Apr 07, 2022
-
-
Julian Ospald authored
-
- Apr 02, 2022
-
-
Julian Ospald authored
-
Julian Ospald authored
-
- Mar 18, 2022
-
-
Julian Ospald authored
-
- Mar 08, 2022
-
-
Julian Ospald authored
-
Julian Ospald authored
-