ixjf / logic-rs

A parser of relational predicate logic & truth tree solver, written in Rust.
https://ixjf.github.io/logic-rs/
MIT License
16 stars 1 forks source link

Website files too large? #7

Closed ixjf closed 5 years ago

ixjf commented 5 years ago

Around 5MB right now. Mostly fonts, I guess. Any way I can remove them if I don't need them?

ixjf commented 5 years ago

Max. of 2.6MB as of now. Considering it's using wasm + visjs + codemirror + semantic ui, I'd say that's reasonable.