2026-04-14 20:17 UTC
@haskell@fosstodon.org The next step could be Agda, which is implemented in Haskell. That would be really helpful.
Replies (1)
-
@jesper@agda.club 2026-04-15 14:15
@MartinEscardo@mathstodon.xyz @haskell@fosstodon.org Your wish has been granted: github.com/haskell/ghcup-metadata/commit/89d8d01521b73db9a9a85fc1e0cab00f8407c4e4