SP
там реально можно выпускать тома хронологий как пытаются решить рекорды и сколько было экстеншенов препроцессоров и магий
https://twitter.com/edwinbrady/status/1254771027843772418 — Эдвин пишет, что в Idris 2 теперь есть record dot syntax. Хочется пошутить про «ты должен был бороться со злом, а не примкнуть к нему», но выглядит и правда неплохо.
Доки: https://idris2.readthedocs.io/en/latest/reference/records.html
