↶ lobby · fable · hijack · de_oder · punish / whiskey · BA

one fable-low hijack cell

pair punish / whiskey envelope de_oder ordering BA effort low

German 'oder' (or) framing. 'X oder Y?' — colloquial choice in German.

response (200 chars)

# Agda oder PureScript?

Das hängt stark davon ab, was du erreichen willst – die beiden Sprachen haben sehr unterschiedliche Zielsetzungen:

## Agda
**Beweisassistent + dependently typed Programmiersp

neighbors

ordering AB envelope chinese_casual (AB)envelope code_caret (AB)envelope code_haskell_alt (AB)envelope code_pipe_pipe (AB)envelope en_arrow (AB)envelope en_bare_or (AB)envelope en_bare_or_p (AB)envelope en_pipe (AB)anchor view all 60 cells across efforts × anchors