issues
search
mcenv
/
box
A dependently-typed programming language for Minecraft
https://mcenv.github.io/book-box/
MIT License
8
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump Schneegans/dynamic-badges-action from 1.6.0 to 1.7.0
#498
dependabot[bot]
opened
10 months ago
0
Bump org.jetbrains.kotlinx.kover from 0.7.3 to 0.7.4
#497
dependabot[bot]
opened
11 months ago
0
Bump org.jetbrains.kotlinx:kotlinx-collections-immutable from 0.3.5 to 0.3.6
#496
dependabot[bot]
opened
11 months ago
0
Bump actions/checkout from 3 to 4
#495
dependabot[bot]
closed
1 year ago
0
Bump org.eclipse.lsp4j:org.eclipse.lsp4j from 0.21.0 to 0.21.1
#494
dependabot[bot]
closed
1 year ago
0
Bump plugin.serialization from 1.9.0 to 1.9.10
#493
dependabot[bot]
closed
1 year ago
0
Bump jvm from 1.9.0 to 1.9.10
#492
dependabot[bot]
closed
1 year ago
0
Bump plugin.allopen from 1.9.0 to 1.9.10
#491
dependabot[bot]
closed
1 year ago
0
Bump org.jetbrains.kotlinx:kotlinx-serialization-json from 1.5.1 to 1.6.0
#490
dependabot[bot]
closed
1 year ago
0
Bump org.jetbrains.kotlinx:kotlinx-serialization-properties from 1.5.1 to 1.6.0
#489
dependabot[bot]
closed
1 year ago
0
Bump org.jetbrains.kotlinx.benchmark from 0.4.8 to 0.4.9
#488
dependabot[bot]
closed
1 year ago
0
Bump org.jetbrains.kotlinx:kotlinx-benchmark-runtime from 0.4.8 to 0.4.9
#487
dependabot[bot]
closed
1 year ago
0
Adapt to `23w31a`+
#486
intsuc
opened
1 year ago
0
Bump org.jetbrains.kotlinx.kover from 0.7.2 to 0.7.3
#485
dependabot[bot]
closed
1 year ago
0
Bump org.jetbrains.kotlinx:kotlinx-coroutines-jdk8 from 1.7.2 to 1.7.3
#484
dependabot[bot]
closed
1 year ago
0
Bump org.jetbrains.kotlinx:kotlinx-coroutines-core from 1.7.2 to 1.7.3
#483
dependabot[bot]
closed
1 year ago
0
Define primitive types in `prelude`
#482
intsuc
opened
1 year ago
0
Warn unused symbols
#481
intsuc
opened
1 year ago
0
Rename project
#480
intsuc
closed
1 year ago
0
Delayed popping
#479
intsuc
opened
1 year ago
0
`builtin`s as terms
#478
intsuc
closed
1 year ago
0
Use `Long` instead of `Range` for term ranges
#477
intsuc
opened
1 year ago
0
Fine-grained exhaustiveness checking
#476
intsuc
opened
1 year ago
0
Bump actions/upload-pages-artifact from 1 to 2
#475
dependabot[bot]
closed
1 year ago
0
Optimize pattern matching
#474
intsuc
opened
1 year ago
0
Bump jvm from 1.9.0-RC to 1.9.0
#473
dependabot[bot]
closed
1 year ago
0
Bump plugin.allopen from 1.9.0-RC to 1.9.0
#472
dependabot[bot]
closed
1 year ago
0
Bump plugin.serialization from 1.9.0-RC to 1.9.0
#471
dependabot[bot]
closed
1 year ago
0
Optimize type-preserving compilation
#470
intsuc
opened
1 year ago
0
Modal dependent types
#469
intsuc
opened
1 year ago
0
Algebraic simplification
#468
intsuc
opened
1 year ago
0
Explicit `Neutral` terms
#467
intsuc
opened
1 year ago
0
Higher-order unification
#466
intsuc
opened
1 year ago
0
Runtime `code` types
#465
intsuc
opened
1 year ago
0
Implement Datalog engine
#464
intsuc
opened
1 year ago
0
Bump org.jetbrains.kotlinx:kotlinx-coroutines-jdk8 from 1.7.1 to 1.7.2
#463
dependabot[bot]
closed
1 year ago
0
Bump org.jetbrains.kotlinx:kotlinx-coroutines-core from 1.7.1 to 1.7.2
#462
dependabot[bot]
closed
1 year ago
0
Drop `tag`
#461
intsuc
closed
1 year ago
0
Bidirectionalize representation synthesis/checking
#460
intsuc
opened
1 year ago
0
Registers
#459
intsuc
opened
1 year ago
0
Bump org.jetbrains.kotlinx.kover from 0.7.1 to 0.7.2
#458
dependabot[bot]
closed
1 year ago
0
Incremental AST reconstruction
#457
intsuc
opened
1 year ago
0
Use incremental text document sync kind
#456
intsuc
opened
1 year ago
0
Implement SMT solver
#455
intsuc
opened
1 year ago
0
Implement SAT solver
#454
intsuc
opened
1 year ago
0
Implement LSP for Kotlin
#453
intsuc
opened
1 year ago
0
Unify module system and file system
#452
intsuc
opened
1 year ago
0
Bump webpack from 5.87.0 to 5.88.0 in /extension
#451
dependabot[bot]
closed
1 year ago
0
Bump plugin.allopen from 1.9.0-Beta to 1.9.0-RC
#450
dependabot[bot]
closed
1 year ago
0
Bump jvm from 1.9.0-Beta to 1.9.0-RC
#449
dependabot[bot]
closed
1 year ago
0
Next