search

RedPRL / cooltt

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

[🚫 🐞] Improved Debugging Output #394

Open TOTBWF opened 2 years ago

TOTBWF commented 2 years ago

It would be nice to improve the Debug.print output a bit, and implement a #debug directive (I thought I had done this, but apparently not??)

mmcqd commented 2 years ago

I also thought you had done this, and was confused when it didn't work lol. The case of the vanishing directive