notes icon indicating copy to clipboard operation
notes copied to clipboard

Published 20 hours ago • verified publisher icon wdv4758h

Verified Functional Programming in Agda

Open wdv4758h opened this issue 7 years ago • 0 comments

agda

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

wdv4758h avatar Apr 01 '17 11:04 wdv4758h