Post #2049513
2026-05-05 16:56 UTC
@amy@types.pl You guys know a very little about scaling software. Half of Agda committers lack simple education, you should start not from rewriting, but from requirements.
Replies (1)
-
@5ht@mathstodon.xyz 2026-05-05 16:57
But al least we said it out that you are writing on shit. My Congratulations!