subsetpark/pantagruel

Issues

• dependencies and windows

  #54 opened 2 years ago by njamescouk
  0

• Environment closure handling improvement

  #53 opened 2 years ago by subsetpark
  0

• Specify "under"?

  #41 opened 2 years ago by subsetpark
  2

• Don't accept arbitrary `'` symbols; instead, bind `'` versions of each procedure argument if and only if procedure yields Void

  #51 opened 2 years ago by subsetpark
  0

• Bind body-introduced symbols into temporary scopes

  #52 opened 2 years ago by subsetpark
  0

• Include source location for errors

  #49 opened 2 years ago by subsetpark
  0

• Relate/Output to DOT

  #48 opened 3 years ago by dezren39
  2

• Type checking

  #50 opened 3 years ago by subsetpark
  3

• all1

  #44 opened 3 years ago by subsetpark
  0

• Introduce `let` for more restricted lexical scoping

  #43 opened 3 years ago by subsetpark
  0

• Sum vs Product Types

  #42 opened 3 years ago by subsetpark
  0

• Validate refinements with invariants?

  #36 opened 3 years ago by subsetpark
  0

• Validate multiple refinements of the same expression

  #14 opened 3 years ago by subsetpark
  0

• Consider exists1

  #37 opened 3 years ago by subsetpark
  0

• Generics

  #1 opened 6 years ago by subsetpark
  1

• Replace function head internals with standard binding lists

  #33 opened 6 years ago by subsetpark
  0

• Bind guard patterns into the evaluation context for their refinements

  #32 opened 6 years ago by subsetpark
  0

• Take another swing at parsing different cases of function application

  #22 opened 6 years ago by subsetpark
  0

• Possible syntax rearrangement

  #16 opened 6 years ago by subsetpark
  0

• Guards

  #4 opened 6 years ago by subsetpark
  0

• Domain aliasing

  #2 opened 6 years ago by subsetpark
  1

• Keep comments in AST

  #3 opened 6 years ago by subsetpark
  1