logogalaxy-sixth-sensey
三
/posts/2018-02-18-idris-effects-in-pure-contextを開いてください。