permui/reproduce-papers

Reproducing results in papers to understand them.

Agda