VC - Verse Calculus, new core calculus for functional logical programming
Latest document version: The Verse Calculus: a Core Calculus for Functional Logic Programming
Document Versions:
- latest: verse-March23 - Mar 3, 2023 | 76 pages
- verse-conf - First publication Dec 5, 2022 | 30 pages
下载源码
通过命令行克隆项目:
git clone https://github.com/UnrealVerseGuru/VC_VerseCalculus.git