Agda made me addicted to Unicode
@eisfunke I know right. I was showing my #Lean4 code to a colleague and was like... I don't want to do business, I just want to code cool shit in #Lean.
Mastodon server of https://doma.dev.
