Придумайте на двоих уникальное название дирекории и создавайте там проект с уникальным называнием. Запишитесь в .github/CODEOWNERS и в Excel-табличку, чтобы я не забыл кто есть кто.
На всякий случай, скажу, что фичи нужно реализовывать не все сразу. Итеративная модель разработки подойдет лучше водопадной.
- Целые числа, булевы значения и сравнения числе
- Рекурсивные функции на верхнем уровне (в компиляторе называется structure_item). С учетом каррирования
- Вложенные let-определения и вложенные функции
- stdlib: напечатать что-нибудь, побитовые операции и так далее (много чего можно добавить).
miniML становится не вполне мини c появлением n-ок, паттерн-мэтчинга по ним и в том числе паттернов. После их добавления уже можно переходить к реализации GC.
Если успеем, то будут ещё алгебраические типы и компиляция сопоставления с образцом.