Use Felix's agda-base instead #6
Description
....this will enable agda-stdlib to use our deriving tactics!
agda-base here: https://github.com/agda/agda-base
{{ message }}
....this will enable agda-stdlib to use our deriving tactics!
agda-base here: https://github.com/agda/agda-base