current.verbeek
haskell-copilot-theorem_4.7-1/