church-encodings

There are 0 repository under church-encodings topic.

• glebec / lambda-talk

  A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

  lambda-calculuschurch-encodingscompositionfunctional-programmingmathematicstheory-of-computationjavascriptcombinatory-logiccombinatorscurrying
  Language:JavaScript 492

• Risto-Stevcev / haskell-church-encodings

  :cyclone: Church encodings written in Haskell

  haskellchurchnumeralsencodingencodingschurch-encodings
  Language:Haskell 24

• mr-know-it-all / haskell-playground

  haskellchurch-encodingsquickchecklengthquicksortcustom-typesrecursive-typesrule-110
  Language:Haskell 1

• Risto-Stevcev / python-church-encodings

  Church encodings written in Python

  pythonchurchchurch-encodingsnumeralsencodingencodings
  Language:Python 1

• ASK1995 / Haskell

  Haskell Implementations during CS 581 at OSU.

  haskelllambda-calculuschurch-encodings