← Feed @piecritic@hachyderm.io Post #2052111 2026-05-04 15:12 UTC I have found a mechanism to wrangle a float into a coherent type system. Yay for quotient types Replies (0) No replies.