My Experiments with agda