git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Remove unused import
commit
55ec9cba99cc58bf611c1c88d25021fa050fab02
author
David Christiansen
<david@davidchristiansen.dk>
date
Thu 27 Jun 2013, 10:45
(13 years ago)
parent
334fdd0
1 file changed
−1
compare with master
unified
split
src/Idris/Providers.hs
−1
src/Idris/Providers.hs
−1
@@ -3,7 +3,6 @@ module Idris.Providers (providerTy, getProvided) where
3
3
4
4
import
Core.TT
5
5
import
Core.Evaluate
6
−
import
Core.Execute
7
6
import
Idris.AbsSyntax
8
7
import
Idris.AbsSyntaxTree
9
8
import
Idris.Error
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list