git.iko.soy/Idris-dev
on ff01a4c help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsAlphabetize and indent imports and LANGUAGE pragmas CaseTree.hsAlphabetize and indent imports and LANGUAGE pragmas Constraints.hsAlphabetize and indent imports and LANGUAGE pragmas DeepSeq.hsAlphabetize and indent imports and LANGUAGE pragmas Elaborate.hsChange totality checking and inlining Evaluate.hsChange totality checking and inlining Execute.hsthis command will be translated into a call `hSetBuffering` or `setvbuf` to disable buffering in stdin/stdout ProofState.hsChange totality checking and inlining ProofTerm.hsAlphabetize and indent imports and LANGUAGE pragmas TT.hsDetect implicit parameters to interfaces Typecheck.hsChange totality checking and inlining Unify.hsAlphabetize and indent imports and LANGUAGE pragmas WHNF.hsAlphabetize and indent imports and LANGUAGE pragmas