Public Repository

Last pushed: 2 years ago
Short Description
Agda with Emacs and exercises for the Agda from Nothing workshop
Docker Pull Command
Owner
scottfleischman