Tora Blog

色々メモその１

http://nineties.github.io/category-seminar/
これを読んだらちょっとだけ圏論がわかった気がする。

(1) …

This article will show how to create an IFTTT applet that uploads Facebook posts to Rinkeby, one of …

Wine 1.7.xで、ゲームのMidi音声が再生されないことがある。
そんな時は、winetricksでgmdlsとdirectmusicを入れるといいらしい。

しかしWine、よくわからないのは、 …

{-# LANGUAGE RankNTypes #-}

-- [Definitions]
-- Not
newtype Not p = Not (forall q. p -> q)

-- …

てすと。

みんなもやろう！！！

(SCP)[https://ja.wikipedia.org/wiki/SCP_Foundation]は大体3つから4つにカテゴライズすることができると思う。