🆕 新着Qiita記事をお知らせします。​

​『flycheck-smlsharpをつくった』
https://qiita.com/keita44_f4/items/2a3864f53f14ae25cd2b by @keita44_f4 @​Qiita

#emacs_qiita #sml_qiita #sml_qiita #flycheck_qiita #emacs_lisp_qiita

🆕 新着Qiita記事をお知らせします。​

​『ML系言語で型注釈が必要なケース』
https://qiita.com/mod_poppo/items/de3ef7965197dbbda761 by @mod_poppo @​Qiita

#haskell_qiita #ocaml_qiita #sml_qiita #型推論_qiita

🆕 新着Qiita記事をお知らせします。​

​『排中律と二重否定除去をSMLで実装する』
https://qiita.com/mod_poppo/items/eb59428206371ff4751a by @mod_poppo @​Qiita

#sml_qiita #論理学_qiita