Go back
Bookmarks categorized by tags
cs/type-system.
Agda by Example: λ-calculus
Ownership