Idris Advent Calendar 2020

6
9
23

Sponsors

Microsoft AzureDataRobotLenovofreeeUdemyパソナテックメタップス

依存型のあるHaskellことプログラミング言語IdrisのAdvent Calendarです。まだ知らない人も多いと思うのでどんな内容でも歓迎です。難しい内容でもHello Worldしてみたでも処理系のインストール手順でもいいのでとりあえず参加してみましょう。


Calendar Sponsor PR