Books by Liam O'Connor-Davis

1 book

Learn you An Agda And Achieve Enlightenment

by Liam O'Connor-Davis

Agda Functional programming

Read

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect