Verified Functional Programming in Agda

wdv4758h / notes

let me know if my notes help you :D (it's a mess, I know)

https://wdv4758h.github.io/notes/

146 stars 17 forks source link

Open wdv4758h opened 7 years ago

wdv4758h commented 7 years ago

agda

ISBN-13: 978-1970001273 ISBN-10: 1970001275 Amazon: https://www.amazon.com/gp/product/1970001275