caryoscelus/agda

작성자	SHA1 메시지	날짜
patrikj	115008c608 White space fixes + more imports in All.agda	17 년 전
ulfn	148194fe04 modal operators All and Any in path example	17 년 전
ulfn	18a018af01 split Path example into multiple modules	17 년 전