Commit 2024-01-16 15:36 b443a939
View on Github →chore(TFAE): migrate to getLastD, reduce imports (#9628)
Since getLastD_mem_cons is in Std, we no longer have to import Data.List.Basic.
chore(TFAE): migrate to getLastD, reduce imports (#9628)
Since getLastD_mem_cons is in Std, we no longer have to import Data.List.Basic.