hazel2020-12-27 01:04:57how do I add unicode characters agda-input style to my Racket programs in Emacs? hazel2020-12-27 01:05:32or DrRacket style is also acceptable (read: \wedge C-\) yfangzhe2020-12-27 01:08:11https://github.com/david-christiansen/dr-racket-like-unicode\|https://github.com/david-christiansen/dr-racket-like-unicode hazel2020-12-27 04:42:45much appreciated