issues
search
Gabriella439
/
grace
A ready-to-fork interpreted functional language with type inference
BSD 3-Clause "New" or "Revised" License
389
stars
33
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Remove reference to typed hole feature in test comment
#74
Gabriella439
closed
11 months ago
0
Fix `let` bindings to be lexically scoped
#73
Gabriella439
closed
12 months ago
0
Drop support for `x86_64-darwin`
#72
Gabriella439
closed
1 year ago
0
Make times bind tighter than plus, add tests
#71
imalsogreg
closed
1 year ago
1
Arithmetic operator fixity is unintuitive
#70
imalsogreg
closed
1 year ago
1
Total type prettyprinting
#69
gardspirito
opened
1 year ago
2
Type synonyms
#68
gardspirito
opened
1 year ago
2
`Let` bindings are not scoped
#67
gardspirito
closed
12 months ago
1
Unique TypeVariables
#66
gardspirito
opened
1 year ago
1
Add missing equality check for Union <: Union
#65
gardspirito
closed
1 year ago
1
exists (a : Type). a <: forall (a : Type). a
#64
gardspirito
opened
1 year ago
1
Union `subtype` Union: p0 == p1 not handled?
#63
gardspirito
closed
1 year ago
2
Preserve inner exists/forall
#62
gardspirito
closed
1 year ago
2
[Q] Impredicativity issues while checking that record is a subtype of a record?
#61
gardspirito
closed
1 year ago
8
Annotating subexpressions
#60
bristermitten
closed
1 year ago
10
Fix golden test for arithmetic
#59
imalsogreg
closed
1 year ago
1
Distinguish between Real and Natural by syntax
#58
imalsogreg
closed
1 year ago
1
Literal floats that end in `.0` parse as naturals
#57
imalsogreg
closed
1 year ago
2
Fix UTF-8 handling
#56
Gabriella439
closed
1 year ago
0
Unicode parsing issues
#55
CrazyPython
closed
1 year ago
0
Use the Prefix constructor
#54
mlang
closed
1 year ago
1
Advice for implementing type aliases
#53
imalsogreg
closed
1 year ago
4
Include experimental flags necessary for build
#52
CrazyPython
closed
1 year ago
2
Mark JS files as vendored
#51
Gabriella439
opened
1 year ago
0
Fix typo in comment
#50
Gabriella439
opened
1 year ago
0
Enable Garnix build for website
#49
Gabriella439
closed
1 year ago
0
Add subtyping rules for `JSON`
#48
Gabriella439
closed
1 year ago
0
Downgrade Nixpkgs dependency
#47
Gabriella439
closed
1 year ago
0
Upgrade Nixpkgs dependency
#46
Gabriella439
closed
2 years ago
0
Enable garnix CI
#45
Gabriella439
closed
2 years ago
0
JSON/fold example in the README doesn't work
#44
cjsauer
closed
2 years ago
5
Language Server? (to be used with visual studio code and other IDE's)
#43
ghostsquad
opened
2 years ago
1
Allow aeson >= 2.0 and fix missing Lift instance
#42
mmhat
closed
2 years ago
3
Minimize app/package build for flake
#41
Gabriella439
closed
2 years ago
0
Nix build fails at `remote-import` test
#40
mcwitt
closed
2 years ago
5
Plus and times aren't robust for beta reduction
#39
HuwCampbell
opened
2 years ago
1
Replace default.nix with flake.nix
#38
Mr-Andersen
closed
2 years ago
7
Add new-build to cabal install instructions
#37
erjenkins29
closed
2 years ago
0
Add version for text build-dependency
#36
erjenkins29
closed
2 years ago
0
unable to build executable in wsl2 ubuntu-20.04
#35
erjenkins29
closed
2 years ago
3
Error when interpreting `examples/reddit-haskell.ffg`
#34
evanrelf
opened
2 years ago
2
Correct the "Complete and easy" citation
#33
bts
closed
2 years ago
1
Update claim about parsing performance
#32
Gabriella439
closed
2 years ago
0
Confusing claim on parsing performance
#31
int-index
closed
2 years ago
5
Refactor pretty-printing logic for unions/alternatives
#30
Gabriella439
closed
3 years ago
0
Fix support for typed fields/alternatives holes
#29
Gabriella439
closed
3 years ago
0
Pretty-print compressed quantifiers
#28
Gabriella439
closed
3 years ago
0
Fix support for typed holes
#27
Gabriella439
closed
3 years ago
0
Question about subtyping
#26
andreypopp
closed
3 years ago
5
compress forall expressions
#25
DebugSteven
closed
3 years ago
0
Next