I started Programming Language Foundations in Agda, so that's fun 
Discussion
Loading...
Post
couldn't get Agda 2.7.0 installed, so decided to deal with 2.8.0 instead.
bonfire.cafe
A space for Bonfire maintainers and contributors to communicate
Automatic federation enabled