Network & IT · Technology · 2026-10-18 20:11
This online book teaches programming language theory using the Agda proof assistant, with an open-source code repository and exercise solutions available for readers.
Auto-generated summary for reference only. RSS