agda-lecture-notes icon indicating copy to clipboard operation
agda-lecture-notes copied to clipboard

Published 20 hours ago • verified publisher icon jespercockx
→

Metadata

Agda lecture notes for the Functional Programming course at TU Delft

← Metadata

116
Stars
13
Forks
Watchers

Owner

verified publisher icon jespercockx

Metadata

Agda lecture notes for the Functional Programming course at TU Delft

Back