Ecosyste.ms: Issues

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

GitHub / hylo-lang/specification issues and pull requests

#24 - Tuple Type can be empty

Pull Request - State: closed - Opened by natsukagami 7 months ago

#23 - Add access-modifier to memberwise-init-decl

Pull Request - State: closed - Opened by natsukagami 7 months ago

#22 - Add `set` to the set of method introducers

Pull Request - State: closed - Opened by natsukagami 7 months ago - 1 comment

#21 - union-decl is defined but never referenced

Issue - State: open - Opened by natsukagami 7 months ago - 3 comments

#20 - Implicit Parameters are missing from Spec

Issue - State: open - Opened by natsukagami 7 months ago - 2 comments

#18 - function-entity-identifier argument syntax is confusing

Issue - State: open - Opened by joehillen 9 months ago - 7 comments

#17 - Update type double to float64

Pull Request - State: closed - Opened by peter-evans about 1 year ago

#16 - defer is not defined

Issue - State: open - Opened by mspiegel about 1 year ago - 1 comment

#15 - Add conditional compilation to the specs.

Pull Request - State: open - Opened by lucteo over 1 year ago - 1 comment

#14 - Minor updates to spec

Pull Request - State: closed - Opened by krolaw over 1 year ago

#13 - Fix small copy-paste error.

Pull Request - State: closed - Opened by philippwinkler over 1 year ago - 1 comment

#12 - Update projection example

Pull Request - State: closed - Opened by waydan over 1 year ago

#11 - Fix formatting for sinkable definition

Pull Request - State: closed - Opened by turbolent almost 2 years ago - 1 comment

#10 - After some trivial grammar fixes, we have these errors

Issue - State: open - Opened by dabrahams over 2 years ago

#9 - Floating point spec default type statement

Issue - State: closed - Opened by MrTheSaw over 2 years ago

#8 - Change Option to Optional

Issue - State: open - Opened by dabrahams over 2 years ago

#7 - Change “record” to “structure”

Issue - State: open - Opened by dabrahams over 2 years ago

#6 - Change Unit to Void

Issue - State: open - Opened by dabrahams over 2 years ago

#5 - Questions: Sinkable, sink

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

#3 - Updates from Overleaf

Pull Request - State: closed - Opened by kyouko-taiga over 2 years ago

#2 - Fix typos.

Pull Request - State: closed - Opened by dan-zheng almost 3 years ago

#1 - Work on machine-readable grammar

Pull Request - State: closed - Opened by dabrahams almost 3 years ago - 9 comments