Brendan Zabarauskas on Twitter: "@parkerbrads Not far enough! Pretty sure you can church encode those bools more efficiently. Also need to church encode unit. :P" / 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

Replying to

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

Replying to

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

1

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

1

Show replies

Conversation