http://blog.jutty.dev/ jutty.dev: Blog pt-br Sun, 19 May 2024 21:11:05 -0300 https://www.rssboard.org/rss-specification Fri, 23 Feb 2024 21:23:00 -0300 https://blog.jutty.dev/posts/scripts-em-ocaml.html https://blog.jutty.dev/posts/scripts-em-ocaml.html juno@jutty.dev (Juno Takano)