Post #4224246

@sarahjamielewis@mastodon.social When I was talking about verification I wasn't just messing around: I am perfectly certain that maintenance is not nearly as much of an issue with functional programming, and with MLTT, specifications are so strong that refactoring becomes massively simpler. The push to categorical principles could really mean, smaller teams can actually manage something like a browser. Of course it takes people to have that knowledge and to have that time ...