b0oh

module Lambda where

import Data.Set (Set)
import Data.Set qualified as Set
import Data.Text (Text)
import Data.Text qualified as Text

newtype Symbol = Symbol Text
  deriving (Eq, Ord, Show)

b0oh

function array_union(a, b) {
    var cache = {};
    function store(item) {
        cache[item] = item;
    }

    a.forEach(store);
    b.forEach(store);

    return Object.keys(cache).map(function(key) { return cache[key]; });

b0oh

def var(name):
    return (0, name)

def abs(name, body):
    return (1, (name, body))

def app(callee, argument):
    return (2, (callee, argument))

b0oh

((lambda (zero)
    ((lambda (inc)
        (inc zero))
      (lambda (nat next init)
        (next
          (nat next init)))))
  (lambda (next init)
    init))

b0oh

module Pair exposing (..)


type alias Pair1 first second pair =
    ((first -> second -> pair) -> pair)


type Pair2 first second pair =
    Pair2 ((first -> second -> pair) -> pair)

b0oh

((@fun (zero)
       ((@fun (inc)
              (inc zero))
        (@fun (nat next init)
              (next
               (nat next init)))))
 (@fun (_next init)
       init))

b0oh

zayoba : Decode.Value -> String
zayoba value =
    let
        decoder = Decode.map (Encode.encode 0) Decode.value
    in
    case Decode.decodeValue decoder value of
        Ok result ->
            result

        _ ->

b0oh

module.exports = {
  identity: x => x
}

b0oh

(((lambda (zero inc) (inc (inc zero)))
  (lambda (next zero) zero))
 (lambda (num next zero) (next (num next zero))))

b0oh

(let* ((inc (lambda (num succ zero) (succ (num succ zero))))
       (+ (lambda (num1 num2 succ zero) (num1 succ (num2 succ zero))))
       (* (lambda (num1 num2 succ zero) (num1 (num2 succ) zero)))
       (0 (lambda (succ zero) zero))
       (1 (inc 0))
       (2 (+ 1 1))
       (4 (* 2 2)))
  (* 4 4))