Post · bonfire.cafe

Post

I started Programming Language Foundations in Agda, so that's fun

@theruran@masto.hackers.town replied · last month

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