Agda
Erlang Super Lite をサボって何をしてたかというと. Agda を勉強してきた. 初日は午後 13:00-17:00 でした. 12 人居る 駅から遠い.雨が降ってれば尚更 Haskell がわかれば,とりあえず最初の一日目は付いていける 資料に文句をつけてみた. Set と wher…
Erlang Super Lite をサボって何をしてたかというと. Agda を勉強してきた. 初日は午後 13:00-17:00 でした. 12 人居る 駅から遠い.雨が降ってれば尚更 Haskell がわかれば,とりあえず最初の一日目は付いていける 資料に文句をつけてみた. Set と wher…