Back

At the #agda headquaters:

"OK, guys, so our user pool consists only of folks who already know #haskell and #emacs Is there a way to narrow it down more?"

"I got it, what if we allow unicode, so they also have to also know #latex ?"

"Brilliant!"

#joke

(just kidding, agda is very cool (hope to learn it someday))