ポスト

状態遷移をトラックする述語は init : P [] end next : P cs mid -> P (cs ++ [c]) end と末尾に文字を足してく

メニューを開く

井山梃子歴史館@__pandaman64__

みんなのコメント

メニューを開く

これパターンマッチがアレしそ〜 equalityで回避かな

井山梃子歴史館@__pandaman64__

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ