Elektrine lite

← Feed

@jesper@agda.club

2026-04-15 14:15 UTC

@MartinEscardo@mathstodon.xyz @haskell@fosstodon.org Your wish has been granted: github.com/haskell/ghcup-metadata/commit/89d8d01521b73db9a9a85fc1e0cab00f8407c4e4

Replies (1)