Tim McGilchrist shows how Idris’s type system enables you to enforce the rules of the state machines at the heart of most real-world applications with fully dependent types.

Sign in to participate in the conversation
Mastodon for Tech Folks

This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!