Released Agda standard library 0.8.1