Turnstile+: Dependent Type Systems as Macroslambda-the-ultimate.org3 points·chalst··0 commentsOpen articleSaveView on HN