Post · bonfire.cafe

Post

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

@theruran@masto.hackers.town replied · 2 months ago

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

Bonfire social · 1.0.1 no JS en

Automatic federation enabled