tweag/asterius
1
1
Fork 0
mirror of https://github.com/tweag/asterius.git synced 2024-09-11 08:55:32 +03:00
Code Issues Projects Releases Wiki Activity
semantics-tex
asterius/docs
History
Cheng Shao 0a21d34ab7 WIP
2022-01-20 13:20:31 +00:00
..
src WIP 2022-01-20 13:20:31 +00:00
.gitignore Docs: fix build, use mdbook (#885) 2022-01-12 14:16:26 +01:00
book.toml Docs: fix build, use mdbook (#885) 2022-01-12 14:16:26 +01:00
default.nix WIP 2022-01-20 13:20:31 +00:00
shell.nix Docs: fix build, use mdbook (#885) 2022-01-12 14:16:26 +01:00