top | item 40147054 (no title) randallholmes | 1 year ago It does, but I rather like "twisted type theory" :-) discuss order hn newest No comments yet.
No comments yet.