search

RedPRL / cooltt

😎TT
http://www.redprl.org/
Apache License 2.0
219 stars 16 forks source link

📝 Fix comments in import.cooltt #318

Closed favonia closed 2 years ago

favonia commented 2 years ago

Just found a typo in import.cooltt.