Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / andrewthad/primitive-containers issues and pull requests

#20 - Build with contiguous-0.6. WIP.

Pull Request - State: closed - Opened by andrewthad over 3 years ago

#19 - compile with -Wall -Werror

Issue - State: open - Opened by chessai over 5 years ago - 2 comments

#18 - API is extremely inconsistent

Issue - State: open - Opened by chessai almost 6 years ago - 1 comment

#17 - traversals for maps

Pull Request - State: closed - Opened by chessai almost 6 years ago - 2 comments

#16 - expose *.Internal?

Issue - State: open - Opened by chessai almost 6 years ago - 2 comments

#15 - add intersects to Data.Set.*

Pull Request - State: closed - Opened by chessai almost 6 years ago - 4 comments

#14 - Heaps

Issue - State: closed - Opened by aljce over 6 years ago - 2 comments

#13 - Total Discrete Interval Maps

Issue - State: open - Opened by andrewthad over 6 years ago

#12 - Rename Diet Map

Issue - State: open - Opened by andrewthad over 6 years ago - 5 comments

#11 - Implement Continuous Interval Maps

Issue - State: open - Opened by andrewthad over 6 years ago

#10 - Dependent map semigroup

Pull Request - State: closed - Opened by andrewthad over 6 years ago

#9 - Dependent Lifted Lifted Map Semigroup Append Segfaults

Issue - State: open - Opened by andrewthad over 6 years ago

#8 - add flag for building with checked variants of contiguous and primitive

Pull Request - State: closed - Opened by andrewthad over 6 years ago

#7 - Add `empty` function without constraints

Issue - State: closed - Opened by chshersh over 6 years ago - 2 comments

#6 - Set difference

Pull Request - State: closed - Opened by andrewthad over 6 years ago

#5 - Difference Operation on Diet Set

Issue - State: closed - Opened by andrewthad over 6 years ago - 17 comments

#4 - Formally verify upper size limit on diet map union

Issue - State: open - Opened by andrewthad over 6 years ago - 1 comment

#3 - Remove all internal use of backpack

Pull Request - State: closed - Opened by andrewthad over 6 years ago

#2 - Replace Ctx datatype by Ctx type family to allow for empty contexts

Pull Request - State: closed - Opened by cocreature over 6 years ago - 2 comments

#1 - IsList

Issue - State: closed - Opened by andrewthad almost 7 years ago - 6 comments