Ecosyste.ms: Issues

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

GitHub / julian-klode/lingolang issues and pull requests

#11 - Abstractly interpreting expressions

Issue - State: closed - Opened by julian-klode about 7 years ago - 3 comments
Labels: enhancement

#10 - Ownership of pointers and targets

Issue - State: closed - Opened by julian-klode about 7 years ago - 1 comment
Labels: bug, enhancement

#9 - Refactor assignability in permission/

Issue - State: open - Opened by julian-klode about 7 years ago - 1 comment
Labels: refactoring

#8 - Unsound container permissions possible

Issue - State: closed - Opened by julian-klode about 7 years ago - 3 comments
Labels: bug

#7 - Wildcard permissions

Issue - State: closed - Opened by julian-klode about 7 years ago
Labels: enhancement

#6 - Refactor permission/

Issue - State: closed - Opened by julian-klode about 7 years ago
Labels: refactoring

#5 - Reference types should be copyable to

Issue - State: closed - Opened by julian-klode over 7 years ago - 1 comment

#4 - Merging branches

Issue - State: closed - Opened by julian-klode over 7 years ago - 2 comments
Labels: question

#3 - Concrete value <-> interface conversions

Issue - State: open - Opened by julian-klode over 7 years ago - 3 comments
Labels: bug

#2 - Cannot express recursion in permission syntax

Issue - State: closed - Opened by julian-klode over 7 years ago - 3 comments
Labels: enhancement

#1 - Handle structural "subtyping" of interfaces

Issue - State: open - Opened by julian-klode over 7 years ago - 2 comments
Labels: bug