../ Core/Fixed flaw with FC dependency by making FC equality always return true. If any fc equality is needed just use FC' fc to convert. Fixes idris-lang/Idris-dev#55013 years ago IRTS/Fix missing case in Defunctionalise.hs13 years ago Idris/Merge branch 'feature/columntracking' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/columntracking13 years ago Pkg/Wrap Idris in an ErrorT13 years ago Util/Make --install respect TARGET for .ibc AND objects13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsConvert IO errors into erros in the Idris monad13 years ago