Julin S

icon location https://tildegit.org/famubu/

Results 22 comments of Julin S

rlwrap for repl

Can `idris-repl-mode-hook` be of any help here?

Is there still a way to use Madoko local when the server www.madoko.net is down (just like now)?

Documentation is there at http://madoko.org/reference.html But I guess this project is not much tended to now..