git.iko.soy/Idris-dev
on master help sign in
Update issue tracker URL
f70befbEdwin Brady
src/Idris/Delaborate.hs+1−1
compare with master
unifiedsplit
@@ -11,7 +11,7 @@ import Core.Evaluate
11
11
12import Debug.Trace
12import Debug.Trace
13
13
14−bugaddr = "https://github.com/edwinb/Idris-dev/issues"
14+bugaddr = "https://github.com/idris-lang/Idris-dev/issues"
15
15
16delab :: IState -> Term -> PTerm
16delab :: IState -> Term -> PTerm
17delab i tm = delab' i tm False
17delab i tm = delab' i tm False