nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqak2kpm822864vd6jk2ght2jxzhrt63qvc485zev0qls49w5uhtks2en6kt Парад непрошеных советов: Лучше вместо хаскеля взять сразу идрис https://idris-lang.org — толку гораздо боль...