Just managed to successfully build a #guix package for Idris2-boot. Now on to the next 3 packages in the bootstrap path to idris2@0.3.0
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!