Show HN: A lean formalization of From Linearity to Borrowing

Показ HN: компактная формализация перехода от линейности к заимствованию предоставляет ясную модель управления памятью, полезную для разработки безопасных систе