Agda thread!!1

Hey guise

Agda thread

It's like haskell but more hipster
But mixfix is an insanely powerful tool.

>>3
The if then else control structure is usually an internal primitive. In Agda, it's defined as

if_then_else : bool -> a -> b
if x then f else f' =
    case x of
        true ->
           f
        false ->
           f'

>>2
Considering how similiar it is to Haskell, i'd say similair things to Haskell.