Ecosyste.ms: Issues

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

GitHub / subsetpark/pantagruel issues and pull requests

#54 - dependencies and windows

Issue - State: closed - Opened by njamescouk almost 2 years ago

#53 - Environment closure handling improvement

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

#52 - Bind body-introduced symbols into temporary scopes

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

#50 - Type checking

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

#49 - Include source location for errors

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

#48 - Relate/Output to DOT

Issue - State: open - Opened by dezren39 almost 3 years ago - 2 comments

#47 - Update parser to bind logic less tightly; refactor formatter

Pull Request - State: closed - Opened by subsetpark over 4 years ago

#46 - Punctuation Updates and bugfixes

Pull Request - State: closed - Opened by subsetpark almost 5 years ago

#45 - Minor cleanup in Env, plus change generics syntax

Pull Request - State: closed - Opened by subsetpark almost 5 years ago

#44 - all1

Issue - State: closed - Opened by subsetpark almost 6 years ago

#43 - Introduce `let` for more restricted lexical scoping

Issue - State: closed - Opened by subsetpark almost 6 years ago

#42 - Sum vs Product Types

Issue - State: closed - Opened by subsetpark almost 6 years ago

#41 - Specify "under"?

Issue - State: closed - Opened by subsetpark almost 6 years ago - 2 comments

#40 - Use full-stops to end statements

Pull Request - State: closed - Opened by subsetpark almost 6 years ago

#39 - Minor shell

Pull Request - State: closed - Opened by subsetpark almost 6 years ago

#38 - Grouped refinements

Pull Request - State: closed - Opened by subsetpark almost 6 years ago

#37 - Consider exists1

Issue - State: closed - Opened by subsetpark almost 6 years ago

#36 - Validate refinements with invariants?

Issue - State: closed - Opened by subsetpark almost 6 years ago

#35 - Develop

Pull Request - State: closed - Opened by subsetpark almost 6 years ago

#34 - Massive refactor / boolean algebra

Pull Request - State: closed - Opened by subsetpark almost 6 years ago

#33 - Replace function head internals with standard binding lists

Issue - State: closed - Opened by subsetpark almost 6 years ago

#31 - Replace parser with yecc+leex

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#30 - Add module system

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#29 - Develop

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#28 - Restructure for xref

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#27 - Simplify procedure and alias syntax considerably

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#26 - Remove a few syntax warts

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#25 - v0.0.7

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#24 - Handle unary expressions in parser as well

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#23 - Handle dots in parser

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#21 - v0.0.6

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#20 - Parse binding directly

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#19 - Syntax updates and improved parsing

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#18 - Use single quotes for comments

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#17 - Remove strings, improve and simplify parsing

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#16 - Possible syntax rearrangement

Issue - State: closed - Opened by subsetpark about 6 years ago

#15 - Language reference - left binding

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#14 - Validate multiple refinements of the same expression

Issue - State: closed - Opened by subsetpark about 6 years ago

#13 - Format lambdas with guillemets

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#12 - Split out print functions

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#11 - Bugfixes and binding rules example

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#10 - Allow object access notation

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#9 - Allow commas in domains

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#8 - Allow aliasing to multiple names at once

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#7 - Readme

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#6 - Highlight unbound variables when printing out errors

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#5 - Parse function application

Pull Request - State: closed - Opened by subsetpark about 6 years ago

#4 - Guards

Issue - State: closed - Opened by subsetpark about 6 years ago
Labels: syntax

#3 - Keep comments in AST

Issue - State: closed - Opened by subsetpark about 6 years ago - 1 comment
Labels: interpreter

#2 - Domain aliasing

Issue - State: closed - Opened by subsetpark about 6 years ago - 1 comment
Labels: syntax

#1 - Generics

Issue - State: closed - Opened by subsetpark about 6 years ago - 1 comment
Labels: syntax