ｇｈｃｊｓついに復活！！GHC 9.10 with JS backend でreflexも動くよ！！
ちょーひさしぶりに技術メモ。
ついにGHC本体にJS backendが実装！！
ただしstackもnixもあまり対応していないので、cabalだけですべて行う必要あり。
stackに関してはまだ調整す …
Haskell Proofs
{-# LANGUAGE RankNTypes #-}
-- [Definitions]
-- Not
newtype Not p = Not (forall q. p -> q)
-- …