Thanks to visit codestin.com
Credit goes to github.com

Skip to content

A library that defines common SKI combinators from Combinatory Logic.

License

codereport/dovekie

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

24 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

dovekie

dovekie is a Python library that provides SKI combinators from Combinatory Logic and common unary and binary functions that are often used with these combinators. It is the spiritual equivalent of the:

image-removebg-preview

How to install:

pip3 install dovekie

And how to use:

import operator as op
from itertools import accumulate

import dovekie as dk


def mco(xs: list[int]) -> int:
    return max(accumulate(xs, dk.phi1(op.add, op.mul, dk.r)))

print(mco([1, 0, 1, 1, 1, 0, 0, 1, 1, 0])) # 3

About

A library that defines common SKI combinators from Combinatory Logic.

Resources

License

Stars

Watchers

Forks

Languages