Skip to content

Verified Functional Programming in Agda #78

New issue
New issue
Open
Open
Verified Functional Programming in Agda#78
Labels
AgdaBookFormal Verification
@wdv4758h

Description

@wdv4758h
wdv4758h
opened on Apr 1, 2017

agda

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    AgdaBookFormal Verification

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions