TY  - RPRT
TI  - Functional Pearl: Witness Me -- Constructive Arguments Must Be Guided with Concrete Witness
AU  - Hiromi Ishii
PY  - 2021
UR  - https://arxiv.org/abs/2103.11751
ID  - 2103.11751
ER  -