Join Slack
Powered by
well, ok, not type-proofs per-se, compiler extensi...
# arrow
j
jimn
12/13/2019, 4:14 PM
well, ok, not type-proofs per-se, compiler extensions fashioned after type-proofs
4
Views
Open in Slack
Previous
Next