Verified Functional Programming in Agda (ACM Books)

3.7 MiB

Download ready in 3s