Gentoo Packages

Search

Install

Install this package:

emerge -a dev-haskell/glambda

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask dev-haskell/glambda

Or alternatively:

emerge --autounmask-write -a dev-haskell/glambda

Package Information

Description:

This is an interpreter for the simply-typed lambda calculus. It is written making heavy use of generalized algebraic datatypes (GADTs), and is meant to serve as an example how how these GADTs can be useful. See the GitHub repo for more information about the syntax for the language and interpreter commands.

Homepage:

https://github.com/goldfirere/glambda

License:

BSD

Versions

Metadata

Description

• This is an interpreter for the simply-typed lambda calculus. It is written making heavy use of generalized algebraic datatypes (GADTs), and is meant to serve as an example how how these GADTs can be useful. See the GitHub repo for more information about the syntax for the language and interpreter commands.

Maintainers

• Gentoo Haskell (haskell@gentoo.org) - Type: project

<pkgmetadata>
	<maintainer type="project">
		<email>haskell@gentoo.org</email>
		<name>Gentoo Haskell</name>
	</maintainer>
	<longdescription>
		This is an interpreter for the simply-typed lambda calculus. It is
		written making heavy use of generalized algebraic datatypes (GADTs), and is
		meant to serve as an example how how these GADTs can be useful. See
		the GitHub repo for more information about the syntax for the language
		and interpreter commands.
	</longdescription>
</pkgmetadata>

Lint Warnings

• [Error] Missing md5-cache for ebuild glambda-1.0.2-r1

Files

• glambda-1.0.2-hlint.patch
• glambda-1.0.2-mtl.patch

Manifest