https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/
УНЯНЯ. У нас есть немножечко инфы
об этом пользователе. Мы знаем, что он понаписал,
порекомендовал и даже и то и другое сразу.
А ещё у нас есть RSS.
#YU9B5L
(5+1)
/ @ninesigns / 2707 дней назад
Короче, вышел Type driven developement with Idris
Есть СКИДОС на 15$: ``ctwbastacon17'' , то есть чистые байтики можно купить за всего-лишь 25 баксов.
#KFOOF5
(2)
/ @ninesigns / 2801 день назад
Цоперайт © 2010-2016 @stiletto.