Dieses Fediverse-Konto und seine Inhalte werden nicht von hhmx.de verwaltet. Die kontoführende Instanz ist cyberglot.lol - die originale Adresse ist https://cyberglot.lol/@april.
(@april@cyberglot.lol)
Mi 27.12.2023
Beiträge: 378Folgt: 273Folgende: 351
professional program keyboardist. software engineer who spends too much time thinking about type theory and programming language theory.
website | |
interests | cubical agda, elaboration |