#

ski

Here are 2 public repositories matching this topic...

helvm / BruSKI

"DeBruijn to SKI" Untyped language that compiles to Unlambda

combinatory-logic combinators ski heltc

Updated Dec 11, 2020
Haskell

helvm / SKITypes

Implementing the SKI combinator calculus in Haskell's type system

combinatory-logic combinators ski heltc

Updated Jun 26, 2018
Haskell

Improve this page

Add a description, image, and links to the ski topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ski topic, visit your repo's landing page and select "manage topics."