8564250Allow pattern matching on BitX constantsNiklas Larsson11 years ago 6d42600Show types in IDE namespace browserDavid Raymond Christiansen11 years ago 60b43b4Add raw name quotesDavid Raymond Christiansen11 years ago d952c94Improve error message when reifying non-constantDavid Raymond Christiansen11 years ago 8902cacSave context changes in interactive elabDavid Raymond Christiansen11 years ago f08e412Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady11 years ago eb38173Merge branch 'jfdm-effLogging-updates'Edwin Brady11 years ago c10d570Merge branch 'effLogging-updates' of https://github.com/jfdm/Idris-dev into jfdm-effLogging-updatesEdwin Brady11 years ago a0d8376Merge pull request #2518 from jeremy-w/jeremy-w/mark-interactive-proving-as-deprecatedNiklas Larsson11 years ago ed6441aUpdates and FixesJan de Muijnck-Hughes11 years ago 9d5e011Fixed cabal indentation.Jan de Muijnck-Hughes11 years ago 7a2de6dUpdated tests for logger effect.Jan de Muijnck-Hughes11 years ago 40481dcRenamed Logging Effects, improved simple loggerJan de Muijnck-Hughes11 years ago d57d929Swapped order of FATAL and ERROR.Jan de Muijnck-Hughes11 years ago 3c9527dFixed log display error.Jan de Muijnck-Hughes11 years ago 2df4ef6Rewrote Default Logger and Simple LoggerJan de Muijnck-Hughes11 years ago 6422545Updated Logging Effect.Jan de Muijnck-Hughes11 years ago 90b7d07Point readers at Elaborator ReflectionJeremy W. Sherman11 years ago 156fb5aDocument interactive theorem proving as deprecated.Jeremy W. Sherman11 years ago