Conversation

Gabriela
@britto_gab
My first Agda code, for an exercise of the Type Theory course at MGS. Looks very cute 🥰 I must confess I never used Agda before mostly because I was intimidated by having to use emacs. But it turns out emacs is a lot easier to use than vim (for a beginner).
Screenshot of a snippet of code written in Agda. Syntax highlighting colors the code in orange, pink, purple, white and green. The code uses several Unicode mathematical symbols, like an actual lambda for a lambda abstraction.
4
3
Brendan Zabarauskas
@brendanzab
Glad it's going well! Yeah I get really intimidated by emacs - like, it's hard to remember all the commands and I always end up wishing it had intellisense and jump-to def etc. So yeah just end up going back to Lean and VS Code and stay jealous of all the cool stuff in Agda. 😬
1
1