issues
search
owo-lang
/
minitt-rs
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Apache License 2.0
113
stars
3
forks
source link
Use KaTeX in rustdoc
#23
Closed
ice1000
closed
5 years ago
ice1000
commented
5 years ago
https://github.com/paulkernfeld/rustdoc-katex-demo
ice1000
commented
5 years ago
Done.
https://github.com/paulkernfeld/rustdoc-katex-demo