Just managed to successfully build a package for Idris2-boot. Now on to the next 3 packages in the bootstrap path to idris2@0.3.0

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!