PostSomaDevLibrary

← Back to archive

EnglishbookID: ae1697ca

Programming Language Foundations in Agda

Category

BY PROGRAMMING LANGUAGE / Agda

External Link

https://plfa.github.io

Your Library

BY PROGRAMMING LANGUAGEAgda

Open Resource ↗