a place for my agda scratchwork