on ccd64c7 help sign in
Idris-dev/src/Main.hs
6 lines 89 B history raw
1module Main where
3import Typecheck
4import ProofState
6main = putStrLn "Nothing Happens"