Gabriella439/grace

Issues

• `Let` bindings are not scoped

  #67 opened a year ago by gardspirito
  1

• Arithmetic operator fixity is unintuitive

  #70 opened a year ago by imalsogreg
  1

• Type synonyms

  #68 opened a year ago by gardspirito
  2

• Literal floats that end in `.0` parse as naturals

  #57 opened a year ago by imalsogreg
  2

• Union `subtype` Union: p0 == p1 not handled?

  #63 opened a year ago by gardspirito
  2

• exists (a : Type). a <: forall (a : Type). a

  #64 opened a year ago by gardspirito
  1

• [Q] Impredicativity issues while checking that record is a subtype of a record?

  #61 opened a year ago by gardspirito
  8

• Annotating subexpressions

  #60 opened a year ago by bristermitten
  10

• Unicode parsing issues

  #55 opened 2 years ago by CrazyPython
  0

• Advice for implementing type aliases

  #53 opened 2 years ago by imalsogreg
  4

• Error when interpreting `examples/reddit-haskell.ffg`

  #34 opened 3 years ago by evanrelf
  2

• JSON/fold example in the README doesn't work

  #44 opened 2 years ago by cjsauer
  5

• Language Server? (to be used with visual studio code and other IDE's)

  #43 opened 2 years ago by ghostsquad
  1

• Plus and times aren't robust for beta reduction

  #39 opened 3 years ago by HuwCampbell
  1

• Nix build fails at `remote-import` test

  #40 opened 3 years ago by mcwitt
  5

• unable to build executable in wsl2 ubuntu-20.04

  #35 opened 3 years ago by erjenkins29
  3

• Confusing claim on parsing performance

  #31 opened 3 years ago by int-index
  5

• Question about subtyping

  #26 opened 3 years ago by andreypopp
  5

• Remote imports

  #10 opened 3 years ago by mmhat
  6

• Builtin Map type

  #17 opened 3 years ago by mmhat
  4

• Structured exceptions

  #12 opened 3 years ago by mmhat
  1

• Use Scientific instead of Double

  #13 opened 3 years ago by mmhat
  0

• Relation to Dhall

  #9 opened 3 years ago by mmhat
  3