SIGN IN SIGN UP

COMMITS

/ README-dev.md
maintenance
February 22, 2026
September 22, 2025
April 22, 2025
March 13, 2025
D
fix typos in README
dkijania committed
August 26, 2024
August 22, 2024
April 19, 2024
March 5, 2024
December 10, 2023
P
typo fix
Pan chao committed
October 3, 2023
August 31, 2023
T
update linux part
Tang Jiawei committed
June 17, 2023
I
Freshen up dev readme
Isaac-DeFrain committed
May 11, 2023
April 28, 2023
May 2, 2023
B
improve file title README-dev
Barrie Byron committed
April 27, 2023
B
Apply suggestions from code review
Barrie Byron committed
April 21, 2023
B
Apply suggestions from code review
Barrie Byron committed
April 20, 2023
B
readme fixes
barriebyron committed
March 21, 2023
Q
address feedback
querolita committed
March 20, 2023
Q
instructions for ocaml platform
querolita committed
A
updates for M1
Anaïs Querol committed
March 16, 2023
November 29, 2022
H
fix merges
Helena Li committed
November 24, 2022
November 23, 2022
November 22, 2022
D
[dev] update mac setup
David Wong committed
November 7, 2022
October 17, 2022
September 22, 2022
September 13, 2022
D
update rust version
David Wong committed
September 15, 2022
September 9, 2022
September 5, 2022
V
Mention reformat target
Virgile Robles committed
V
Removing obsolete Makefile targets
Virgile Robles committed
September 1, 2022
B
Adds note to fix opam init on macOS
Brandon Kase committed
August 17, 2022
B
Update references to Mina's docs
Bryan Honof committed
July 27, 2022
July 26, 2022
June 17, 2022
A
Fix links
Alexander Bantyev committed
May 25, 2022
May 6, 2022
A
Add Nix packaging
Alexander Bantyev committed