Varhil（発音:[ˈvɑ˞ .hɪl]）は述語論理をシンプルかつ自然言語的な文法で表現しようとする人工言語です。名前はVARiable-HIding Logicに由来します。

コンテンツ

1. はじめに
2. 語形（暫定）
   1. 音韻論
   2. 形態論
3. 文法
   1. 一階述語論理
   2. メタ論理（暫定）
4. 辞書
5. 構文解析器

コンタクト

GitHub hedalu244/varhil
Twitter @hedalu244