Ecosyste.ms: Issues

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

GitHub / raasahsan/lambs issues and pull requests

#8 - OrderedMap for typing context and records/variants

Issue - State: open - Opened by RaasAhsan over 4 years ago

#7 - Property-based tests via typing relation

Issue - State: open - Opened by RaasAhsan over 4 years ago

#6 - Abbreviations

Issue - State: open - Opened by RaasAhsan over 4 years ago

#5 - Capture typecheck errors as an ADT

Issue - State: open - Opened by RaasAhsan over 4 years ago - 1 comment

#4 - Organize into files

Issue - State: open - Opened by RaasAhsan over 4 years ago

#3 - Define a collection of combinators

Issue - State: open - Opened by RaasAhsan over 4 years ago

#2 - Latex to document typing relations

Issue - State: open - Opened by RaasAhsan over 4 years ago

#1 - Capture tuples as a derived form of records

Issue - State: closed - Opened by RaasAhsan over 4 years ago - 1 comment