リファクタリング

[nikosai]

現状、LMNtalコンパイラはブラックボックス化が進んでおり、内部実装に手を入れるのが難しくなっている。
@ryotosaito による存在否定構文や全称量化など、新しい構文要素の導入を容易にするべく、少しずつでもリファクタリングを行いたい。