git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/idrisdoc006/expected
7 lines 179 B history raw
1Type checking ./A/fully/Qualified/NAME.idr
2IdrisDoc file written
3Type checking ./B.idr
4A.fully.Qualified.NAME.html
5B.html
6A.fully.Qualified.NAME is in the index
7B is in the index