Issues
- 2
LSP compatible with Eglot or lsp-mode
#542 opened by patrick-nicodemus - 0
Array programming
#544 opened by patrick-nicodemus - 7
- 2
Improve Developer Documentation for Developing on Windows: error 'inttypes.h' file not found
#455 opened by woojamon - 4
Unresolved implicit parameter
#468 opened by TimWhiting - 7
VSCode extension seems not to work
#485 opened by Gerhard-Piette - 1
Vector to string conversion adds an extra character
#486 opened by Caid11 - 1
undefined reference to `kk_string_join'
#505 opened by kyepskee - 1
koka 3.1.1 build failure
#515 opened by chenrui333 - 0
[Feature Proposal]Relocatable Sharable Memory (Zero-Copy Structural Data Packs) as an Effect
#543 opened by complyue - 0
Can't execute and Output "invalid argument"
#538 opened by lvyuemeng - 0
Formatting Error in last paragraph of "Tour of Koka -> Value Operations"
#541 opened by martihomssoler - 1
Internal error when using recursive effect
#483 opened by hflsmax - 34
String Interpolation
#528 opened by TimWhiting - 0
Reference counting local variables
#522 opened by TimWhiting - 2
Metaprogramming
#536 opened by TimWhiting - 0
Extensible Matching via Implicits
#529 opened by TimWhiting - 5
Collection / Vector Literals
#527 opened by TimWhiting - 0
Struct Constructor TitleCase
#537 opened by TimWhiting - 6
Structural Types & Newtype
#534 opened by TimWhiting - 0
Platform Imports
#535 opened by TimWhiting - 1
Add let generalization
#532 opened by TimWhiting - 0
- 4
Code Formatter
#521 opened by TimWhiting - 0
Constrained polymorphic effects
#523 opened by TimWhiting - 1
Suggestion: Generalize type variables in mask behind
#519 opened by anfelor - 0
Versioned Identifiers
#530 opened by TimWhiting - 0
Identifier hiding/showing and Qualified Modules
#531 opened by TimWhiting - 0
Type variables not unique
#526 opened by TimWhiting - 3
Koka doesn’t support tabs
#516 opened by toastal - 2
- 0
- 0
Weird types when masking read,write,alloc effects
#520 opened by anfelor - 0
Type checking bug when masking polymorphic effects
#509 opened by anfelor - 1
Mask is ignored when adding `exn` effect
#511 opened by anfelor - 3
internal error: Core.Parc.getDataDefInfo: cannot find type: std/time/timestamp/timespan
#500 opened by Caid11 - 0
Wrong error format for `Type.Infer.inferHandler: using a bare operation is deprecated`
#508 opened by anfelor - 3
- 2
How to uninstall Koka on Windows?
#499 opened by ice1000 - 0
- 0
Internal error when using raw ctl with named handler
#484 opened by hflsmax - 5
fail to compile samples
#472 opened by lengyijun - 1
- 2
- 8
Segfault in compiled program
#462 opened by chtenb - 5
- 1
- 0
Messy Handling of WSL in language server
#465 opened by TimWhiting - 3
Error with final ctl operations
#456 opened by TimWhiting - 3