konn/category-agda — pull request #1 by wataruY (2013-02-27 18:52:42+00:00)
Title: unsolved meta

proofに渡されたjがCategoryをopenした時点で見えないと解釈して、
openする場所をproof内に移動したら通りました。
あとAgda 2.3.3ではprivateの所でエラーになるので修正。