Okay need help for a quick slide
What's a good example of using types to specify high-level structure of a domain problem? Like where the types alone form a specification (not necessarily complete) of a system/problem. It doesn't have to be beginner-accessible.
Conversation
Servant perhaps? Or Idris's type-level state machine specifications?
2