Abilities in Unison
Available at unisonweb.org/docs/abilities
Unison's type system tracks which functions can do I/O, and the same language feature, called abilities can be used for many other things, too. This is a tutorial on abilities.
Edit details Edit relations Attach new author Attach new topic Attach new resource