Commit 2023-02-06 01:05 75d0ed47
View on Github →feat: port Data.Setoid.Partition (#2066)
port of data.setoid.partition
mostly simple fixes. Commented out simp
of mem_index
to address simpNF
feat: port Data.Setoid.Partition (#2066)
port of data.setoid.partition
mostly simple fixes. Commented out simp
of mem_index
to address simpNF