aboutsummaryrefslogtreecommitdiff
path: root/entries/ionchy/agda
diff options
context:
space:
mode:
authorbraxtonhall2022-11-26 20:04:43 +0000
committerbraxtonhall2022-11-26 20:04:43 +0000
commit85e2f948ee4ae6793448969c6d2f9610d74e42ce (patch)
tree671423e6271e5eb3d8e38f512decb76f0943e863 /entries/ionchy/agda
parentb53b73b6f40a042072b3381d255d50ca5d643ff9 (diff)
Add human in the loop 2 for the exhibition
Diffstat (limited to 'entries/ionchy/agda')
0 files changed, 0 insertions, 0 deletions