Books by Philip Wadler

1 book

Programming Language Foundations in Agda

by Philip Wadler

Agda Functional programming

Read

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect