#近づいたので再掲。7月22日(水)「第2期 第17回 H本読書会 in 秋葉原」 #readhbon https://readhbon.doorkeeper.jp/events/28154/ #7月25日(土)徳島「Haskellもくもく会in徳島」 #hasmoku http://connpass.com/event/17927/ 東京と同時開催ですね。 #お、みなさんには当日まで内緒にしようと思っていたのに...。まぁいいか。
#おっと、そうでしたか。でも見つけてしまったからには書かずにはいられません。
#大丈夫です。そもそもイベントページを作るとさえ思っていなかったのでw
#一体なにがしたいのよ。
#まだ会話にならない
#エラーをちゃんと見ていないですが、このインスタンス宣言は、head部分に現れない変数n3をcontextで言及している時点で無理筋で、関数従属性や型族を使って、n1とn2からn3が決まるようにする必要がある気がします。