Type system issues
0 views
Skip to first unread message
Alan Karp
Jan 28, 2026, 4:57:03 PMJan 28
to <friam@googlegroups.com>
Some of you might find https://counterexamples.org/ a fun read.
--------------
Alan Karp
Mike Stay
Jan 29, 2026, 10:42:44 PMJan 29
to fr...@googlegroups.com
Thanks!
> --
> You received this message because you are subscribed to the Google Groups "friam" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to friam+un...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/friam/CANpA1Z1edsi%2BxNmiYvepd-sSTZEyGvCJ7nJ_oW-yFg66sdjmpA%40mail.gmail.com.
--
Mike Stay - meta...@gmail.com
https://math.ucr.edu/~mike
https://reperiendi.wordpress.com
> You received this message because you are subscribed to the Google Groups "friam" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to friam+un...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/friam/CANpA1Z1edsi%2BxNmiYvepd-sSTZEyGvCJ7nJ_oW-yFg66sdjmpA%40mail.gmail.com.
--
Mike Stay - meta...@gmail.com
https://math.ucr.edu/~mike
https://reperiendi.wordpress.com
Reply all
Reply to author
Forward
0 new messages