κ
Kappa
Playground
⌕
⌘K
Connecting
Split
⌥⌘S
Check
⇧⌘↵
Run
⌘↵
κ
main.kp
Example
Hello, Kappa
Proofs & indexed vectors
Linear resources
Borrowing without consuming
Typestate protocol
Validated refinements
Universe cumulativity
Typed expressions
Type-safe printf
Solver-backed matrices
Higher-kinded traits
Hygienic staged code
Multi-shot handlers
Effect-polymorphic handler
Cancellation & cleanup
STM & fiber wakeup
Atomic bank transfer
Scoped resource cleanup
Query comprehensions
Join, group & aggregate
Problems
0
Search
0
Goal
—
Output
kappa run main.kp
Clear
Run the program to see its output.
Type in the search box. Plain text always works.
Move the cursor to a hole or expression to inspect its goal.
Pin