Ecosyste.ms: Issues

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

GitHub / hazelgrove/hazelgrove issues and pull requests

#19 - ordering of types with holes in them

Issue - State: open - Opened by ivoysey over 7 years ago

#19 - ordering of types with holes in them

Issue - State: open - Opened by ivoysey over 7 years ago

#18 - figure out agda ocaml issue

Issue - State: open - Opened by ivoysey over 7 years ago

#18 - figure out agda ocaml issue

Issue - State: open - Opened by ivoysey over 7 years ago

#17 - post OBT references follow ups

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

#17 - post OBT references follow ups

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

#16 - two kinds of holes

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

#16 - two kinds of holes

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

#15 - minimality of minimizer

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

#15 - minimality of minimizer

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

#14 - shower thoughts theorem

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

#14 - shower thoughts theorem

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

#13 - reasoning about traces

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

#13 - reasoning about traces

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

#12 - consider language extensions

Issue - State: open - Opened by ivoysey over 8 years ago
Labels: migrated-from-agda-repo

#12 - consider language extensions

Issue - State: open - Opened by ivoysey over 8 years ago
Labels: migrated-from-agda-repo

#11 - derived actions, action macros

Issue - State: open - Opened by ivoysey over 8 years ago
Labels: migrated-from-agda-repo

#11 - derived actions, action macros

Issue - State: open - Opened by ivoysey over 8 years ago
Labels: migrated-from-agda-repo

#10 - agda reflection, editorializer

Issue - State: open - Opened by ivoysey over 8 years ago
Labels: migrated-from-agda-repo

#10 - agda reflection, editorializer

Issue - State: open - Opened by ivoysey over 8 years ago
Labels: migrated-from-agda-repo

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

Issue - State: open - Opened by ivoysey over 8 years ago
Labels: migrated-from-agda-repo

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

Issue - State: open - Opened by ivoysey over 8 years ago
Labels: migrated-from-agda-repo

#8 - implement semantics using agda functions

Issue - State: open - Opened by ivoysey over 8 years ago - 1 comment
Labels: migrated-from-agda-repo

#8 - implement semantics using agda functions

Issue - State: open - Opened by ivoysey over 8 years ago - 1 comment
Labels: migrated-from-agda-repo

#7 - figure out a checksum theorem for "not outside in" property

Issue - State: open - Opened by ivoysey over 8 years ago - 2 comments
Labels: migrated-from-agda-repo

#7 - figure out a checksum theorem for "not outside in" property

Issue - State: open - Opened by ivoysey over 8 years ago - 2 comments
Labels: migrated-from-agda-repo

#6 - operators and araties

Issue - State: open - Opened by ivoysey over 8 years ago
Labels: migrated-from-agda-repo

#6 - operators and araties

Issue - State: open - Opened by ivoysey over 8 years ago
Labels: migrated-from-agda-repo

#5 - Related Ideas

Issue - State: open - Opened by MichaelHilton almost 9 years ago - 1 comment

#5 - Related Ideas

Issue - State: open - Opened by MichaelHilton almost 9 years ago - 1 comment

#4 - Layout and Typography for code editing

Issue - State: open - Opened by MichaelHilton almost 9 years ago - 2 comments
Labels: enhancement

#4 - Layout and Typography for code editing

Issue - State: open - Opened by MichaelHilton almost 9 years ago - 2 comments
Labels: enhancement

#3 - Non-technical: Hazelgrove logos and iconography

Issue - State: closed - Opened by matthewhammer almost 9 years ago - 3 comments

#2 - Asymptotics of (Bidirectional) Type Checking

Issue - State: open - Opened by matthewhammer almost 9 years ago

#1 - Evaluation of Hazelnut Terms

Issue - State: open - Opened by matthewhammer almost 9 years ago