Yasu Watanabe

Automatically generate sections describing Unicode input

4

Regarding #211, I created simple script to generate unicode instructions. I reorganize the structure of code so that it is useable to update PLFA. The script is one parameter how...

As I tried idris-mode and idris2-mode, I did not understand the difference. So, I changed idris2- etc into idris-, and manual modification to minimize the difference. I found, there are...

CoreMidi --> CoreMIDI system --> System Sample program of macroquad failed to compile because of mismatch of the above names. It is possible to be OK for case insensitive FS...