rubenbarroso/learningcoq
Code written while learning Coq
Scheme plugin for IntelliJ
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Code written while learning Coq
Public repository.
My solutions to exercises of the book "An Introduction to Functional Programming Through Lambda Calculus"
The Elements of Computing Systems