log src/Polynominal.agda @ 968:3a096cb82dc4

age author description
2021-02-25 Shinji KONO Polynominal category and functional completeness begin