NI
Да и Idris2 я не особо и трогал, он тогда ещё совсем сырой был.
Ежели щас уже пользоваться можно, надо будет обязательно попробовать.
А какое качество кодогенерации под джавоскрипт?
Сравнимо с purescript'ом?
Size: a a a
NI
RR
NI
RR
RR
RR
NI
RR
RR
RR
Oℕ
RR
RR
Oℕ
RR
Oℕ
Oℕ
RR
RR