홈 탐색 도움말
로그인
caryoscelus
/
agda
Watch 1
Star 0
포크 0
파일 이슈 0 풀 리퀘스트 0 위키
트리: 9c190b6ebc
브랜치 태그
agda
/
benchmark
/
logs
/
20110924-10.14-Ulfs-MacBook-Pro
ulfn 0f8b3cb164 avoid creating metas in isType_ 13 년 전
..
ac1 0f8b3cb164 avoid creating metas in isType_ 13 년 전
ac2 0f8b3cb164 avoid creating metas in isType_ 13 년 전
ac3 0f8b3cb164 avoid creating metas in isType_ 13 년 전
any 0f8b3cb164 avoid creating metas in isType_ 13 년 전
cat 0f8b3cb164 avoid creating metas in isType_ 13 년 전
cwf 0f8b3cb164 avoid creating metas in isType_ 13 년 전
data 0f8b3cb164 avoid creating metas in isType_ 13 년 전
functor 0f8b3cb164 avoid creating metas in isType_ 13 년 전
latemeta 0f8b3cb164 avoid creating metas in isType_ 13 년 전
monad 0f8b3cb164 avoid creating metas in isType_ 13 년 전
monadpostulate 0f8b3cb164 avoid creating metas in isType_ 13 년 전
nested 0f8b3cb164 avoid creating metas in isType_ 13 년 전
patternmatch 0f8b3cb164 avoid creating metas in isType_ 13 년 전
polyfunctor 0f8b3cb164 avoid creating metas in isType_ 13 년 전
prim 0f8b3cb164 avoid creating metas in isType_ 13 년 전
record 0f8b3cb164 avoid creating metas in isType_ 13 년 전
syntax1 0f8b3cb164 avoid creating metas in isType_ 13 년 전
syntax2 0f8b3cb164 avoid creating metas in isType_ 13 년 전