#The Kappa Programming Language

Kappa is a functional concatenative programming language based on Robert Kleffner's lambda compose (2017).

#Example

defn fib { _fib drop }

defn square { dup * }

defn _fib {
	bind n (
		n 1 <
		{ 0 1 }
		{
			n 2 / _fib

			bindv b a (
				a square b square +
				2 b * -1 a * + a *
			)

			bindv c d (
				n 2 % 1 <
				{ c d }
				{ d c d + }
				if @
			)
		} if @
	)
}

Algorithm credit: Project Nayuki

#Hopes

• [x] Modular implementation
• [ ] Full type inference