Mercurial > hg > Members > kono > Proof > category
log src/Polynominal.agda @ 968:3a096cb82dc4
age | author | description |
---|---|---|
2021-02-25 | Shinji KONO | Polynominal category and functional completeness begin |
age | author | description |
---|---|---|
2021-02-25 | Shinji KONO | Polynominal category and functional completeness begin |