issues
search
vekatze
/
neut
A functional programming language with static memory management
https://vekatze.github.io/neut/
MIT License
840
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix possible infinite loops during unification
#228
vekatze
closed
2 days ago
0
update docs
#227
vekatze
closed
1 week ago
0
update docs
#226
vekatze
closed
1 week ago
0
fix the parallel module fetcher
#225
vekatze
closed
1 week ago
0
don't specify the type of `magic alloca(..)`
#224
vekatze
closed
2 weeks ago
0
update the core library (0-50-28)
#223
vekatze
closed
2 weeks ago
0
update the core library (0-50-27)
#222
vekatze
closed
3 weeks ago
0
update docs
#221
vekatze
closed
3 weeks ago
0
alpha-convert `e` in `e(e1, ..., en)` before `e1, ..., en`
#220
vekatze
closed
3 weeks ago
0
update the core library (0-50-26)
#219
vekatze
closed
3 weeks ago
0
lsp: extract `LocationTree` from `Cache`
#218
vekatze
closed
3 weeks ago
0
lsp: stop suggesting ambiguous candidates
#217
vekatze
closed
3 weeks ago
0
replace `detail` with `labelDetails`
#216
vekatze
closed
3 weeks ago
0
`ENV key value` => `ENV key=value`
#215
vekatze
closed
3 weeks ago
0
update docs
#214
vekatze
closed
3 weeks ago
0
update the book
#213
vekatze
closed
1 month ago
0
fix: impose the affine constraint on the freevars of `PiIntroFix`
#212
vekatze
closed
1 month ago
0
fix: don't suppress the names of resource types when printing terms
#211
vekatze
closed
1 month ago
0
improve completion-related stuff
#210
vekatze
closed
1 month ago
0
fix LSP stuff
#209
vekatze
closed
1 month ago
0
make dependencies local to projects
#208
vekatze
closed
1 month ago
0
remove unused items in `import {..}` only when required (for better LSP experience)
#207
vekatze
closed
1 month ago
0
fix: cache paths
#206
vekatze
closed
1 month ago
0
fix: broken symbol highlights
#205
vekatze
closed
1 month ago
0
fix: ensure the existence of the output dirs of foreign objects
#204
vekatze
closed
1 month ago
0
fix: ignore non-source files when loading cache files
#203
vekatze
closed
2 months ago
0
update core (0-50-21)
#202
vekatze
closed
2 months ago
0
allow pattern matching on runes
#201
vekatze
closed
2 months ago
0
fix: don't forget variable occurrences in branches
#200
vekatze
closed
3 months ago
0
fix: `textDocument/documentHighlight`
#199
vekatze
closed
3 months ago
0
disallow trailing semicolons
#198
vekatze
closed
3 months ago
0
fix: don't kill the LSP server even when module.ens is broken
#197
vekatze
closed
3 months ago
0
allow literals like `0x_abc_def`, `0o777__66`, etc.
#196
vekatze
closed
3 months ago
0
Reformulate borrowing using the T-necessity modality
#195
vekatze
closed
3 months ago
0
fix caching stuff
#194
vekatze
closed
3 months ago
0
fix inconsistent build signatures
#193
vekatze
closed
4 months ago
0
update the core library (0-50-5)
#192
vekatze
closed
4 months ago
0
update a benchmark result (dictionary-nt, mac)
#191
vekatze
closed
4 months ago
0
fix: use the new syntax
#190
vekatze
closed
4 months ago
0
make copying operations explicit (`!foo`)
#189
vekatze
closed
4 months ago
0
`catch x = e1 in e2`
#188
vekatze
closed
4 months ago
0
run `check` after installing dependencies
#187
vekatze
closed
4 months ago
0
fix: intall dependencies before running `check`
#186
vekatze
closed
4 months ago
0
fix: allow `pin` in `with`
#185
vekatze
closed
4 months ago
0
fix: allow trailing commas in `magic`s
#184
vekatze
closed
4 months ago
0
fix the loc info of `try`
#183
vekatze
closed
4 months ago
0
update the core library (0-50-1)
#182
vekatze
closed
4 months ago
0
pass `-lm` to clang
#181
vekatze
closed
4 months ago
0
don't leave escape sequences to haskell
#180
vekatze
closed
4 months ago
0
fix: prevent location info of `bind` from being overwritten
#179
vekatze
closed
4 months ago
0
Next