sfja/sfja — Issue #13: [[[  ... ]]] の扱い
Author: ummr
Created: 2011-10-26 13:06:05+00:00
State: open

原文では、三重のカギカッコ [[[ ... ]]] が特別な整形がされるようにしてあるようですが、日本語版では対応していないようなので、とりあえず [[ ... ]] に変えてあります(Hoare_J.v の中。Types_J.v に合わせた)。今後もこのままで行きますか？