Post #802319

2026-03-21 10:21 UTC

(Bool → String) ∷ Nat ∷ []

Replies (1)

@ionchy@types.pl 2026-03-21 11:06

@amy I'm so excited to see what type is next

Open ##1437774