Conversation

I like lambda case as a thing, but the TeX-y syntax is literally the worst. \case (In point) -> #WadlersLaw

Brendan Zabarauskas

@brendanzab

Aug 26, 2020

Have you seen… arend?

arend-lang.github.io

Arend

Arend is a theorem prover based on Homotopy Type Theory. It natively supports higher inductive types and a version of cubical syntax. IntelliJ Arend is a plugin for IntelliJ IDEA that turns it into a...

eyebleed much

Replying to

Tbh I don't mind it en-mass in a weird kind of way! I would however wish for some cool structured editor thing that would display the keywords in boldface or something though.

2:03 PM · Aug 26, 2020Twitter Web App