Toot

Written by Jesper Agdakx 🔸 on 2024-12-13 at 16:11

Agda being weird:

import Data.Bool

_ = A.trueViewed separately, neither import brings a name A.true in scope, but somehow together they do.

=> More informations about this toot | View the thread | More toots from jesper@agda.club

Mentions

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113646391498536579
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
284.139078 milliseconds
Gemini-to-HTML Time
0.374245 milliseconds

This content has been proxied by September (ba2dc).