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