Conversation

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

Brendan Zabarauskas

@brendanzab

Replying to

@buggymcbugfix

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...

11:54 AM · Aug 26, 2020Twitter Web App

Replying to

eyebleed much

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.