2026-08-03 07:57 UTC
I regret to announce that as of today, I will cease all assisting activities, effective immediately.
In other news, if you are in need of someone to associate with, please get in touch.
Replies (4)
-
@cxandru@types.pl 2026-08-03 08:01
@jesper@agda.club congrats!!
-
@jonmsterling@mathstodon.xyz 2026-08-03 08:22
@jesper@agda.club great news ! :)
-
@mevenlennonbertrand@lipn.info 2026-08-03 10:08
@jesper@agda.club Congrats!!
-
@MartinEscardo@mathstodon.xyz 2026-08-03 10:45
@jesper@agda.club Yay! Well done and well deserved.