yukikurage/typed-variable

変数をシンボルとして型付して扱う実験的なやつです．

PureScript