Agda

A collection of 1 post

5 min read

Agda Fundamentals: (I / 1)

The following article is part of some meetings discussing Dependent Types between people in my college. I hope it can also be useful to someone else. Either way, this is just the «article» version of a couple of md slides that I made for it.

Read more