Closes #48 🐔️👍️
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: v-lafeychine <vincent.lafeychine@proton.me>

🦀️🍰🦀️🍰🦀️🍰

* chore: change branch name mentions to main

* feat(docs): add user manual

* fix(rustyline): autocompletion format: bold -> grey

* doc(all): add Proost logo

* doc(rustyline_helper): minor URL adjustments

* chore(README): update

* feat(README): add Proost logo

* feat(docs): add Proost logo in specification (LFS test in disguise)

aalbert authored 2 years ago and v-lafeychine committed 2 years ago

Closes #37 🐔️👍️
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: belazy <aarthuur01@gmail.com>
Approved-by: v-lafeychine <vincent.lafeychine@proton.me>

🦀️🍰🦀️🍰🦀️🍰

* add ?main

* nix run

* add backticks

* Apply 1 suggestion(s) to 1 file(s)

* fix links

* add blabla

* mermaid test

* mermaid test

* mermaid test

Closes #35 🐔️👍️
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: loutr <loutr@crans.org>

🦀️🍰🦀️🍰🦀️🍰

* docs: fix example

* docs: update README

* docs: mentionning memory model + fix listing

* feat(docs): correct examples

* feat(docs): fix OCaml type and english

* feat(docs): remove lfs

* feat(docs): nixos+coverage

* feat(docs): misc

* feat(docs): add toplevel specs

* feat(docs): update syntax

* fix(tex): resolve listings errors

* feat(docs): update specs