Benoît CORTIER db5bdf4f2d Run cargo-diet ... cargo-diet is a helper for computing the optimal `include` directives for Cargo.toml manifests. https://github.com/the-lean-crate/cargo-diet		2021-06-19 10:04:59 +09:00
..
languages	Add latex	2021-06-16 21:42:05 +09:00
src	Add latex	2021-06-16 21:42:05 +09:00
build.rs	Disable haskell grammar until build issues are resolved	2021-06-07 10:17:25 +09:00
Cargo.toml	Run cargo-diet	2021-06-19 10:04:59 +09:00