Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

32 lines (25 sloc) 562 Bytes
module checkall
-- This file just exists to typecheck all the prelude modules
-- Add imports here
import builtins
import prelude
import io
import system
import prelude.algebra
import prelude.cast
import prelude.nat
import prelude.fin
import prelude.list
import prelude.maybe
import prelude.monad
import prelude.applicative
import prelude.either
import prelude.vect
import prelude.strings
import prelude.char
import prelude.heap
import prelude.complex
import network.cgi
import language.reflection
import control.monad.identity
import control.monad.state
Jump to Line
Something went wrong with that request. Please try again.