Tagged in

Developer

Statebox

Formally verified process language. Find out more at https://statebox.org

Followers

366

Elsewhere

More, on Medium

In our first post on categories in Idris we provided a definition of category which we can practically use. But we didn’t…