Ecosyste.ms: Issues

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

GitHub / hazelgrove/agda-popl17 issues and pull requests

#37 - look up table for rule numbers

Issue - State: open - Opened by ivoysey about 8 years ago

#36 - final pass to propagate to sums, curate diff

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: presubmit-loose-ends

#35 - final pass to remove cruft, document

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: presubmit-loose-ends

#34 - idempotency of minimzer

Issue - State: closed - Opened by ivoysey about 8 years ago - 6 comments
Labels: presubmit-loose-ends

#33 - not-outside-in checksum

Issue - State: closed - Opened by ivoysey about 8 years ago - 2 comments
Labels: future-work

#32 - add example code for all figures

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: presubmit-loose-ends

#31 - add rules for constructing a case in a synthetic context

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: presubmit-loose-ends

#30 - extra assumptions in case zippers

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: presubmit-loose-ends

#29 - curate diff between sum and master

Issue - State: closed - Opened by ivoysey about 8 years ago - 2 comments
Labels: presubmit-loose-ends

#28 - extend determinism to sums

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: presubmit-loose-ends

#28 - extend determinism to sums

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: presubmit-loose-ends

#27 - clean up moveerase.agda

Issue - State: closed - Opened by ivoysey about 8 years ago - 2 comments
Labels: presubmit-loose-ends

#26 - theorem names

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment

#25 - implement semantics using agda functions

Issue - State: closed - Opened by cyrus- over 8 years ago - 1 comment
Labels: future-work

#24 - coherence between heads of the two branches

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment

#23 - update the readme

Issue - State: closed - Opened by ivoysey over 8 years ago

#22 - structural properties

Issue - State: closed - Opened by ivoysey over 8 years ago
Labels: presubmit-loose-ends

#21 - finish normal / role of non-empty holes in constructability

Issue - State: closed - Opened by ivoysey over 8 years ago - 2 comments
Labels: future-work

#20 - add comments for fancy unicode

Issue - State: closed - Opened by cyrus- over 8 years ago - 2 comments

#19 - make comments and notation consistent with paper

Issue - State: closed - Opened by cyrus- over 8 years ago - 5 comments

#18 - reflection

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment
Labels: future-work

#17 - derived actions

Issue - State: closed - Opened by ivoysey over 8 years ago - 2 comments
Labels: future-work

#16 - restore determinism of action semantics

Issue - State: closed - Opened by ivoysey over 8 years ago - 4 comments
Labels: presubmit-loose-ends

#15 - understand and unify congruence lemmas

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment

#14 - abstract rules for repeated ideas in constructors

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment

#13 - fix the action subsumption rule

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment
Labels: bug

#12 - declarative system

Issue - State: closed - Opened by ivoysey over 8 years ago
Labels: presubmit-loose-ends

#11 - complete dynamics, progress and preservation

Issue - State: closed - Opened by ivoysey over 8 years ago - 7 comments
Labels: presubmit-loose-ends

#10 - finish reachability

Issue - State: closed - Opened by ivoysey over 8 years ago

#9 - constructability

Issue - State: closed - Opened by ivoysey over 8 years ago - 2 comments

#8 - finishability

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment

#7 - deletability

Issue - State: closed - Opened by ivoysey over 8 years ago - 9 comments

#6 - reformulate movement

Issue - State: closed - Opened by ivoysey over 8 years ago
Labels: presubmit-loose-ends

#5 - add let

Issue - State: closed - Opened by ivoysey over 8 years ago - 2 comments
Labels: future-work

#4 - add ifz

Issue - State: closed - Opened by ivoysey over 8 years ago - 2 comments
Labels: future-work

#3 - erasure

Issue - State: closed - Opened by ivoysey over 8 years ago - 2 comments

#2 - operators and arities

Issue - State: closed - Opened by ivoysey over 8 years ago - 5 comments
Labels: future-work

#1 - sums

Issue - State: closed - Opened by ivoysey over 8 years ago