Metadata-Version: 1.1
Name: calchylus
Version: 0.1.2
Summary: Calchylus - Lambda Calculus with Hy
Home-page: https://github.com/markomanninen/calchylus
Author: Marko Manninen
Author-email: elonmedia@gmail.com
License: UNKNOWN
Download-URL: https://github.com/markomanninen/calchylus/archive/v0.1.2.tar.gz
Description: 
        Calchylus - Lambda calculus with Hy
        ===================================
        
        $$\Huge ϒ = 𝜆x.(𝜆y.x \space (y \space y)) \space (𝜆y.x \space (y \space y))$$
        
        ``Calchylus`` is a `Hy <http://docs.hylang.org>`__ module that is used to
        evaluate, and furthermore, to understand the basics of Lambda calculus
        (also written as λ-calculus).
        
        	`Lambda calculus <https://en.wikipedia.org/wiki/Lambda_calculus>`__ is a
        	formal system in mathematical logic for expressing computation that is
        	based on function abstraction and application using variable binding and
        	substitution. -*wikipedia.org*
        
        
        Quick start
        -----------
        
        .. code-block:: bash
        
        	$ pip install hy calchylus
        	$ hy
        
        .. code-block:: hylang
        
        	(require [calchylus.lambdas [*]])
        	(with-alpha-conversion-and-macros L ,)
        	(L x y , (x (x (x (x (x y))))) a b)
        	; (a (a (a (a (a b)))))
        	(FIBONACCI FIVE)
        	; (x (x (x (x (x (x (x (x (x (x (x (x (x y)))))))))))))
        
Keywords: hylang,python,lisp,macros,dsl,lambda calculus,functional language
Platform: any
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Lisp
Classifier: Topic :: Software Development :: Libraries
