Skip to content
GitLab
Explore
Sign in
Register
curry
curry-frontend
Repository
curry-frontend
src
Html
SyntaxColoring.hs
Find file
Blame
History
Permalink
Re-use modernized HTML output
· 76e4f8e8
Fredrik Wieczerkowski
authored
Jul 14, 2020
Co-authored-by:
Jan-Hendrik Matthes
<
stu113804@mail.uni-kiel.de
>
76e4f8e8