caryoscelus/agda

작성자	SHA1 메시지	날짜
Jesper Cockx	2007630d78 Fix mistake in date of paper on Prop	5 년 전
Jesper Cockx	65bda2ad4b [ prop ] Don't go in irrelevant context when target type is Prop	5 년 전
Jesper Cockx	275efccf44 [ prop ] Add user manual + changelog	6 년 전