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.
Customer support service by 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.