search

serokell / universum

:milky_way: Prelude written in @Serokell
MIT License
174 stars 26 forks source link

Remove definitions deprecated in 1.8.0 #268

Open dcastro opened 2 years ago

dcastro commented 2 years ago

In 1.8.0 we deprecated:

We should delete these definitions in 1.9.0. We should also be able to remove the microlens and microlens-mtl dependencies.