Tagged in

Dependent Types

Statebox

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

Followers

366

Elsewhere

More, on Medium

In our previous posts we explored how to work with categories and functors in Idris, providing…

In our last post we provided some examples of categories which show how, with our newly defined concept of category, we can…

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

In the past years there’s been a lot of talk about category theory in the functional programming community. This is because…