Brendan Zabarauskas on Twitter: "@parkerbrads Yeah it’s ok! Still cool you can do it like that! 😊" / Twitter

🤯 gist.github.com/bradparker/06c I'm sure this is pretty old-hat to a lot of Haskellers on here :)

2

1

Did I take this too far? ... yes gist.github.com/bradparker/06c

1

Not far enough! Pretty sure you can church encode those bools more efficiently. Also need to church encode unit. :P

1

Ah yeah. It's not an actual Church bool I see, got carried away by everything just being special cases of `+` or `×`

1

Replying to

Yeah it’s ok! Still cool you can do it like that! 😊

Replying to

type Unit = forall a. a -> a ?

1

Yup

1

Conversation