← Feed @shapr@recurse.social Post #2902950 2026-05-10 12:22 UTC @ncf@types.pl so you study how Curry and Howard might have corresponded? Replies (0) No replies.