Agda Web demo (v2.7) | qbane | ObservableAgda Web demo (v2.7) | qbane | Observable