Mercurial > hg > Members > kono > Proof > category
log negnat.agda @ 662:e1d54c0f73a7
age | author | description |
---|---|---|
2017-03-02 | Shinji KONO | fix |
2017-03-02 | Shinji KONO | try incomplete pattern for discrete |
2017-02-28 | Shinji KONO | negnat |
2017-02-28 | Shinji KONO | add negation example |