Pinned Repositories
c-7-in-ocaml
compelib
競プロ用ライブラリ
coq-dijkstra
A Verified Implementation of Dijkstra's Algorithm
Coq2SML
Lazy
Interpreter for call-by-need functional language
MLDay2
枠が空いてればLTをやる
MLstudy2
ML勉強会#2 (https://ml-lang.connpass.com/event/58151/) のスライド
sumiilab-tex
東北大学 住井研究室のステキな TeX ファイルたち
type-infer
A Formal Verification of Algorithm W
Udon
A Hobby implementation of ML