Aug
22
awarded Teacher
Mar
12
awarded Teacher
Feb
25
accepted Coq: substitution and dependent types
Feb
23
answered Coq: substitution and dependent types
Feb
23
asked Coq: substitution and dependent types
Jan
30
asked In MATE, how do I get different panels per workspace?
Aug
13
revised cabal test in a sandbox
deleted 25 characters in body
Aug
13
comment cabal test in a sandbox
That's somewhat awkward as we're actually using sandboxes as "build flavours", with optimisation and other flags turned on/off etc.
Aug
13
awarded Supporter
Aug
13
asked cabal test in a sandbox
Aug
1
comment "What part of Milner-Hindley do you not understand?"
Ah, that was my idea. Shirts are still available apparently: I bought one but rarely wear it.
Jul
22
comment GHC options in cabal sandboxes
So in that case, I want to build the entire sandbox with -O2, correct? How do I do that?
Jul
21
comment GHC options in cabal sandboxes
So if I apply -O2 to my executable package, that's as good as applying -O2 to all the packages?
Jul
21
asked GHC options in cabal sandboxes
Jul
19
awarded Student
Jul
19
asked Resolving pkg-config to packages
Jul
16
awarded Scholar
Jul
16
awarded Supporter
Jul
16
accepted sudo for users with empty passwords
Jul
16
answered sudo for users with empty passwords
1 2 3 4