log agda/derive.agda @ 84:29d81bcff049

age author description
2018-12-22 Shinji KONO fix derive
2018-12-22 Shinji KONO seprate finite
2018-11-28 Shinji KONO add cfg and derive