3 ms·
Of note, CMU produces a bunch of functional programming research, including a whole homotopy type theory department, so this is a quality source.
by ajbt200128 3y ago
Of note, CMU produces a bunch of functional programming research, including a whole homotopy type theory department, so this is a quality source.
- deleted 3y ago[deleted]