Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
10 lines (5 sloc) 128 Bytes
module Syntax where
import KappaParser
data Error = ...
-- check the well-formedness of a module
check :: Module -> [Error]