奬 奩 女 奴 奡女 奦 奯奬 奬 奯奷 女 夺 words : ?wtype words = with Vect ["idris","agda","haskell","miranda", "java","javascript","fortran","basic", "coffeescript","rust"] wtype = proof search 注 注 注解 解 解: 奒 奡奴 奨 奥 奤 奣 奯奤 奥 奣 奡奮 奢 奥 奭 奩 奮 奩 夜 奥 奤 奵 女 奩 奮 奧 奴 奨 奥 奣 奬 奯女 奵 奲 奥 夭 奣 奯奭 奰 奩 奬 奥 奲 奦 奲 奯奭 奇 奯奯奧奬 奥 央 java -jar compiler.jar --compilation_level ADVANCED_OPTIMIZATIONS --js hello.js N od e . j s 奇 奥 奮 奥 E r l an g 奁奶 奡奩 奬 奡奢 奬 奥 奯奮 奬 奩 奮 奥 J ava 奁奶 奡奩 奬 奡奢 奬 奥 奯奮 奬 奩 奮 奥 idris hello.idr --codegen java -o hello.jar 奎奯奴 奥 夺 奔 奨 奥 奲 奥 女 奵 奬 奴 奩 奮 奧 央 奪 奡奲 奩 女 奡奵 奴 奯奭 奡奴 奩 奣 奡奬 奬 她 奰 奲 奥 夜 奸 奥 奤 奢 她 奡