on master help sign in
Idris-dev/src/.ghci
2 lines 97 B history raw
1:set -XMultiParamTypeClasses -XFunctionalDependencies
2:set -XFlexibleInstances -XTemplateHaskell