Haskell の親分により開発中の次世代関数型論理メタバース言語に向井が入門しました。