issues
search
granule-project
/
granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
https://granule-project.github.io
BSD 3-Clause "New" or "Revised" License
589
stars
33
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
No Linux release for 0.9.5.0
#246
rzuckerm
opened
5 months ago
6
Add CONTRIBUTING.md
#245
dorchard
opened
5 months ago
0
Fix left pad example
#244
buggymcbugfix
closed
5 months ago
0
Merge dev-minor
#243
buggymcbugfix
closed
5 months ago
1
Bump to Stackage LTS 20.26
#242
andreasabel
closed
5 months ago
0
Some tests fail for granule-interpreter in 0.9.5.0
#241
andreasabel
opened
6 months ago
0
One test for granule-frontend fails in 0.9.5.0
#240
andreasabel
opened
6 months ago
1
v0.9.5.0
#239
dorchard
closed
7 months ago
3
Unification problem in `let`
#238
dorchard
opened
9 months ago
0
Nix-related fixes for `fractional` branch
#237
raehik
closed
9 months ago
1
grenchmark: fix package.yaml
#236
raehik
closed
9 months ago
0
grenchmark: load `benchmarkList` thru Cabal `data-files`; start on image config
#235
raehik
closed
9 months ago
1
grenchmark: support configuring `gr` path at runtime
#234
raehik
closed
9 months ago
2
Grammar railroad diagram
#233
mingodad
opened
9 months ago
2
Deriving `push` for function types should be possible, but even with a wrapped data type is broken.
#232
dorchard
opened
9 months ago
0
Add flag --no-print-return-value
#231
buggymcbugfix
closed
8 months ago
8
Spurious `()` in stdout
#230
rzuckerm
closed
5 months ago
6
Fractional permissions for mutable and immutable borrowing
#229
starsandspirals
opened
11 months ago
1
Fixes issue #190 - where we had a bug in the evaluator because of name clash
#228
dorchard
closed
11 months ago
0
The awaited algebraic effect handlers implementation
#227
dorchard
closed
1 year ago
0
Adds explicit rankN types
#226
dorchard
closed
1 year ago
0
Session types are broken in CBV mode
#225
thwfhk
opened
1 year ago
0
Fixes bug in `flatten` for `Sec`
#224
dorchard
closed
1 year ago
1
Security is broken
#223
thwfhk
closed
1 year ago
3
Nix flake: add granule stdlib, grepl wrapper
#222
raehik
closed
1 year ago
2
Docker image missing StdLib
#221
dorchard
closed
1 year ago
2
Several improvements related to deriving mechanism
#220
dorchard
closed
1 year ago
0
deriving push does not have `hsup` or `Pushable` constraint
#219
dorchard
closed
1 year ago
1
v0.9.4.0 release merge
#218
dorchard
closed
1 year ago
0
Add Nix build, `grepl` Docker image generation
#217
raehik
closed
1 year ago
5
Cannot give explicit type signature to `push` functions.
#216
dorchard
closed
1 year ago
0
Fixes 213
#215
dorchard
closed
1 year ago
1
Fixes #213
#214
dorchard
closed
1 year ago
1
`share` seems to produce a runtime error
#213
dorchard
closed
1 year ago
0
initial Nix build, Docker image for repl
#212
raehik
closed
1 year ago
2
v0.9.3.0 last pieces
#211
dorchard
closed
1 year ago
0
Some updates to examples
#210
dorchard
closed
1 year ago
0
Merge v0.9.3.0
#209
dorchard
closed
1 year ago
0
A variety of fixes to unification, substitution, and specialisation of GADTs
#208
dorchard
closed
1 year ago
0
Why is clone/copy not allowed to return an unique value
#207
atennapel
closed
4 months ago
2
Rename & to share and copy to clone
#206
dorchard
closed
1 year ago
1
Dual is involution
#205
dorchard
closed
1 year ago
1
[graded-base] Predicate missing polyshape constraints
#204
dorchard
opened
1 year ago
0
Fixing some things in caseRule around state and predicate context and…
#203
dorchard
closed
1 year ago
1
New synthesis review
#202
dorchard
closed
1 year ago
0
Refactoring Synth module into smaller components, and some tidying and comments.
#201
dorchard
closed
1 year ago
2
New synthesis
#200
dorchard
closed
1 year ago
0
Graded base extension
#199
dorchard
closed
1 year ago
0
A variety of fixes to unification, substitution, and specialisation of GADTs
#198
dorchard
closed
1 year ago
1
Caching type checker output via interface files
#197
buggymcbugfix
opened
1 year ago
0
Next