Го сходкаПрограммирование с зависимыми типами на языке IdrisЭкспандеры и их применения
@krkm чо на оба сразу хочешь?
@anonymous да, в питере (см. тег)
@krkm чо на оба сразу хочешь?
@anonymous да, в питере (см. тег)