2018-05-02から1日間の記事一覧

OCaml力無い人間なりにSATySFiをいじってみてどういう構造をしているか調べてみた (1)

ゴールデンウィークに突入したので、以前から興味のあったSATySFiの使い方を少し踏み込んで調べてみて、それの個人的備忘録としてまとめ。 個人的備忘録なので網羅性とか正確性を一切考慮しないつもり。SATySFiが何かも説明しない。 github.com この記事を書…