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)

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

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

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

🦀️🍰🦀️🍰🦀️🍰

* docs: add specifications PDF

* docs: finish first version of the specifications

* docs: finish early description of specifications

* docs: add document template for specifiations

* feat(git): add LFS settings and TeX-specific .gitignore