Автор напрямую противопоставляет свою концепцию Лину. Сообщает, что его QRM - это следующий шаг в эволюции Lean
https://denis-demakhin.livejournal.com/97362.html
Автор напрямую противопоставляет свою концепцию Лину. Сообщает, что его QRM - это следующий шаг в эволюции Lean
https://denis-demakhin.livejournal.com/97362.html