~whereiseveryone/rde#26: feature-agda improve loading of standard library — sourcehut todo

~whereiseveryone/rde#26:

feature-agda improve loading of standard library

https://blog.ielliott.io/agda-nixos

Status: REPORTED
Submitter: ~whereiseveryone
Assigned to: No-one
Submitted: 3 months ago
Updated: 3 months ago
Labels: No labels applied.

Register here or Log in to comment, or comment via email.