The way to highlight using agda executable is to invoke
agda --html some.agda -css=coloring.css -i include_dir_1 -i include_dir_2
It will produce all dependent modules in html with navigation.
This HTML possibly can be used to highlight active file in Sublime and to navigate on references.
Kundesupport af UserEcho
The way to highlight using agda executable is to invoke
agda --html some.agda -css=coloring.css -i include_dir_1 -i include_dir_2
It will produce all dependent modules in html with navigation.
This HTML possibly can be used to highlight active file in Sublime and to navigate on references.