Commit Graph

4 Commits

Author SHA1 Message Date
9d0dcd98bd Improve support when code occurrs multiple times
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-22 17:05:38 -07:00
f78f877e21 Support blocks that are the entire file
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-22 16:50:45 -07:00
5d0b903c03 Support non-submodule code
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-22 16:47:42 -07:00
032411fe9c Add a script to generate links using Agda's HTML output
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-22 16:28:00 -07:00