← Feed @5ht@mathstodon.xyz Post #2706016 2026-03-10 21:23 UTC And before that exercise you should write Henk pure CoC type checker: https://henk.groupoid.space Replies (0) No replies.