↶ lobby · fable · hijack · de_oder · agda / mathematician · BA

one fable-low hijack cell

pair agda / mathematician envelope de_oder ordering BA effort low

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

response (200 chars)

Interessante Gegenüberstellung! Ich vermute, du fragst dich, ob du Mathematik „klassisch" (Stift, Papier, Beweise im Kopf) betreiben oder mit **Agda** (einem Beweisassistenten) formalisieren sollst. K

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_q (AB)envelope en_pipe (AB)anchor view all 60 cells across efforts × anchors