issues
search
wenkokke
/
agda2html
a tool to convert literate agda to html
GNU Lesser General Public License v3.0
6
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
refactor code to do less IO work. Shoul increase speed significantly
#5
Cubesoup
closed
5 years ago
0
icu4c
#4
jonaprieto
opened
5 years ago
0
Better Local Reference Syntax
#3
Cubesoup
closed
6 years ago
8
Indentation is missing
#2
jonaprieto
opened
6 years ago
1
Using other agda libraries
#1
jonaprieto
opened
6 years ago
2