view Paper/src/cbc/fib @ 3:c28e8156a37b

Add paper init~agda
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Fri, 20 Jan 2023 13:40:03 +0900
parents
children
line wrap: on
line source

(binary:application/octet-stream)