@akjcv my favorite thing about the purractically-minded dependently typed languages is how far they try to take this sentiment in their tooling
A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.
