EdLambda, a functional programming interest group in #Edinburgh.
Next EdLambda meetup:
Thursday 15th November 7pm in The Outhouse pub.
"Divide, conquer, choose, ap and alt... et Empera"
Speaker is @fommil
https://opentechcalendar.co.uk/event/7607-divide-conquer-choose-ap-and-alt-et-emper# …
Interesting. I might be there, although it's quite unlikely... the Emacs mode isn't really my department but Idris 2 is at least using a compatible protocol!