-
- Downloads
server: present lint results in pretty html
(this is mostly a rewrite / translation of the django templates built into rc3's hub)
Showing
- package.yaml 1 addition, 0 deletionspackage.yaml
- server/Orphans.hs 118 additions, 42 deletionsserver/Orphans.hs
- server/Server.hs 6 additions, 5 deletionsserver/Server.hs
- static/bootstrap.min.css 7 additions, 0 deletionsstatic/bootstrap.min.css
- static/d3-graphviz.js 2198 additions, 0 deletionsstatic/d3-graphviz.js
- static/d3-graphviz.js.map 1 addition, 0 deletionsstatic/d3-graphviz.js.map
- static/d3.js 2 additions, 0 deletionsstatic/d3.js
- static/dot-wasm.js 1 addition, 0 deletionsstatic/dot-wasm.js
- static/graphvizlib.wasm 0 additions, 0 deletionsstatic/graphvizlib.wasm
- static/style.css 24 additions, 0 deletionsstatic/style.css
- walint.cabal 1 addition, 0 deletionswalint.cabal
Loading
Please register or sign in to comment