caryoscelus/agda

작성자	SHA1 메시지	날짜
Nils Anders Danielsson	c5b859575b Horizontal tab characters are no longer treated as white space.	15 년 전
Nils Anders Danielsson	689c6aaa09 Moved away or fixed many broken example files.	16 년 전
scm	17947c6a59 minor bugs in Monad, Data.Fin and Data.Vec	17 년 전
ulfn	b95bf44036 Fin and Vec libs + proof of pigeon hole principle	18 년 전