Haskell Proofs
{-# LANGUAGE RankNTypes #-}
-- [Definitions]
-- Not
newtype Not p = Not (forall q. p -> q)
-- …Hello World
てすと。
»「名もなき塔」は神ゲーム！！！
「名もなき塔」は神ゲーム！！！
みんなもやろう！！！
https://freegame-mugen.jp/action/game_6907.html
»ポエムその２
(SCP)[https://ja.wikipedia.org/wiki/SCP_Foundation]は大体3つから4つにカテゴライズすることができると思う。
- シュール系SCP - 意味不明さ/シ …