Alan Jeffrey passed away

[andreasabel]

We mourn our former member of the Agda organization, Alan Jeffrey @asajeffrey , who passed away on 4th July 2024.

• Linked-in post
• https://github.com/asajeffrey

Alan was very active 2010-12, he contributed:

• The original implementation of the JavaScript backend of Agda.
• https://github.com/agda/agda-makefile
• https://github.com/agda/agda-assoc-free
• https://github.com/agda/agda-data-bindings
• https://github.com/agda/agda-frp-ltl
• https://github.com/agda/agda-frp-js
• https://github.com/agda/agda-system-io
• https://github.com/agda/agda-text-xml
• https://github.com/agda/agda-web-uri
• https://github.com/agda/agda-web-semantic

Though I am feeling impious while doing so, I am removing him from the @agda organization. GitHub has not (yet) provided a category for former members.