aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile4
-rw-r--r--cards.yaml14
-rw-r--r--server/stack.yaml2
3 files changed, 11 insertions, 9 deletions
diff --git a/Makefile b/Makefile
index 2036434..937e606 100644
--- a/Makefile
+++ b/Makefile
@@ -17,10 +17,10 @@ docker:
.PHONY: server
server: build
- (cd server && \
+ (cd server && stack exec env \
UPLCG_HOSTNAME=$(UPLCG_HOSTNAME) \
UPLCG_PORT=$(UPLCG_PORT) \
- stack exec uplcg-server)
+ uplcg-server)
.PHONY: stack_build
stack_build: $(HS_SOURCES)
diff --git a/cards.yaml b/cards.yaml
index 2d5cc7b..6fb5f39 100644
--- a/cards.yaml
+++ b/cards.yaml
@@ -48,8 +48,8 @@ popl2021:
- generic
- covid19
- icfp2020
-
- black:
+
+ black:
- 'My award-winning POLP paper: F-ing _'
- 'The critical feature that LaTeX is missing is _'
- 'The next version of Excel must include _ as a killer-feature.'
@@ -62,17 +62,17 @@ popl2021:
- 'One should definitely become an expert in _ before starting a PhD in PL.'
- 'How can you call yourself a "PL researcher" without any experience with _?'
- 'It is 2021 and I still have to explain _ to people around me.'
- - '_ is the most under-appreciated feature of _.'
- - 'I do not always use _, but when I do, I prefer it with _.'
+ - '_ is the most under-appreciated feature of _.'
+ - 'I do not always use _, but when I do, I prefer it with _.'
- '_ is the opium of the people.'
- 'There are three kinds of lies: lies, damned lies, and _.'
- - 'If you're not suffering, you're doing your _ wrong!'
+ - "If you're not suffering, you're doing your _ wrong!"
- 'Using _ was the biggest disappointment since the last Game of Thrones season.'
- 'At POPL, no one will judge you for your attraction to _.'
- 'I will call my PhD thesis "Fifty Shades of _".'
- - '"Harry Potter and _" is the best fan fiction I've ever read!'
+ - "'Harry Potter and _' is the best fan fiction I've ever read!"
- white:
+ white:
- Kripke semantics
- covfefe
- natural deduction
diff --git a/server/stack.yaml b/server/stack.yaml
index 74734a0..8d583aa 100644
--- a/server/stack.yaml
+++ b/server/stack.yaml
@@ -3,3 +3,5 @@ packages:
- '.'
extra-deps:
- 'vector-shuffling-1.1'
+nix:
+ packages: ["zlib.dev", "zlib.out"]