issues
search
mcenv
/
mce
A programming environment for Minecraft
MIT License
15
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Statements
#145
intsuc
closed
2 years ago
1
Block terms
#144
intsuc
closed
2 years ago
0
Bump plugin.serialization from 1.6.10 to 1.6.20
#143
dependabot[bot]
closed
2 years ago
0
Bump plugin.allopen from 1.6.10 to 1.6.20
#142
dependabot[bot]
closed
2 years ago
0
Bump multiplatform from 1.6.10 to 1.6.20
#141
dependabot[bot]
closed
2 years ago
0
Bump kotlin-css from 1.0.0-pre.324-kotlin-1.6.10 to 1.0.0-pre.325-kotlin-1.6.10
#140
dependabot[bot]
closed
2 years ago
0
Bump electron from 17.2.0 to 18.0.1 in /app
#139
dependabot[bot]
closed
2 years ago
0
Bump kotlin-css from 1.0.0-pre.323-kotlin-1.6.10 to 1.0.0-pre.324-kotlin-1.6.10
#138
dependabot[bot]
closed
2 years ago
0
Unified multidimensional bidirectional elaboration
#137
intsuc
closed
2 years ago
0
Bump ktor-server-websockets from 2.0.0-beta-1 to 2.0.0-ide-debug-eap-225
#136
dependabot[bot]
closed
2 years ago
2
Bump ktor-server-core from 2.0.0-beta-1 to 2.0.0-ide-debug-eap-225
#135
dependabot[bot]
closed
2 years ago
2
Bump ktor-server-netty from 2.0.0-beta-1 to 2.0.0-ide-debug-eap-225
#134
dependabot[bot]
closed
2 years ago
2
Bump ktor-serialization-kotlinx from 2.0.0-beta-1 to 2.0.0-eap-360
#133
dependabot[bot]
closed
2 years ago
2
Relax monomorphic restriction on compounds
#132
intsuc
opened
2 years ago
0
Drop boxes as primitive
#131
intsuc
closed
2 years ago
0
Bump kotlin-css from 1.0.0-pre.322-kotlin-1.6.10 to 1.0.0-pre.323-kotlin-1.6.10
#130
dependabot[bot]
closed
2 years ago
0
`launch` command
#129
intsuc
closed
2 years ago
0
`publish` command
#128
intsuc
opened
2 years ago
0
Website
#127
intsuc
opened
2 years ago
0
Multiplatform encoder/decoder
#126
intsuc
closed
2 years ago
0
`init` command
#125
intsuc
closed
2 years ago
0
Store types in AST
#124
intsuc
closed
2 years ago
0
Abstract by default
#123
intsuc
opened
2 years ago
0
Pattern matching let
#122
intsuc
opened
2 years ago
0
`abstract` modifiers
#121
intsuc
closed
2 years ago
0
Compile-time modalities
#120
intsuc
opened
2 years ago
0
Bit-vector solver
#119
intsuc
opened
2 years ago
0
Compiler configurations
#118
intsuc
closed
2 years ago
0
Phase modalities
#117
intsuc
opened
2 years ago
0
Context objects
#116
intsuc
opened
2 years ago
0
AST edit
#115
intsuc
opened
2 years ago
0
Bump actions/checkout from 2 to 3
#114
dependabot[bot]
closed
2 years ago
0
Bump plugin.allopen from 1.6.0 to 1.6.10
#113
dependabot[bot]
closed
2 years ago
0
Use mutable stack for elaboration context
#112
intsuc
opened
2 years ago
0
mce format for Kotlin serialization
#111
intsuc
closed
2 years ago
0
Avoid using `object`s for namespacing
#110
intsuc
closed
2 years ago
0
Dynamic tests based on mce's items
#109
intsuc
opened
2 years ago
0
Tree shaking
#108
intsuc
opened
2 years ago
0
Text tree format
#107
intsuc
closed
2 years ago
1
Use monad comprehension
#106
intsuc
closed
2 years ago
0
Runtime-irrelevant let
#105
intsuc
opened
2 years ago
0
Track variable usages in types
#104
intsuc
closed
2 years ago
0
Benchmarking
#103
intsuc
closed
2 years ago
0
JVM interoperability
#102
intsuc
opened
2 years ago
0
Structural version control system embedded in Git
#101
intsuc
opened
2 years ago
0
Existential quantification
#100
intsuc
opened
2 years ago
0
Universal quantification
#99
intsuc
opened
2 years ago
0
Serialization format for Git
#98
intsuc
closed
2 years ago
1
Hide representations
#97
intsuc
closed
2 years ago
0
Use state monads for context passing
#96
intsuc
closed
2 years ago
0
Previous
Next