Planaktia
Idris で 2D CAD やろうぜ!というぶっ飛んだプロジェクト。
名前は Planar(平面)から
日本語名は「プラナクチア」