GitHub_4CT_Haskell 21/02/16の変更 strip()

四色定理の証明を Haskell にも移植している。
discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。
今日は strip() を書いた。下位層はスタブだ。