issues
search
RedPRL
/
cooltt
😎TT
http://www.redprl.org/
Apache License 2.0
217
stars
16
forks
source link
Quick explainer on Cartesian coercion.
#383
Closed
cangiuli
closed
2 years ago