David Luposchainsky quchen

Installing GHC under the home directory

Install stack.
Run stack setup as a normal user. This will install GHC for you (under ~/.stack).
Run stack ghci to start ghci. Please see the rest of the page linked above on how to use stack to create and build projects.

any: magic, ill-behaved type that acts like a combination of never (the proper [bottom type]) and unknown (the proper [top type])
- Anything except never is assignable to any, and any is assignable to anything at all.
- Identities: any & AnyTypeExpression = any, any | AnyTypeExpression = any
- Key TypeScript feature that allows for [gradual typing].
unknown: proper, well-behaved [top type]
- Anything at all is assignable to unknown. unknown is only assignable to itself (unknown) and any.
- Identities: unknown & AnyTypeExpression = AnyTypeExpression, unknown | AnyTypeExpression = unknown

Prefer over any whenever possible. Anywhere in well-typed code you're tempted to use any, you probably want unknown.

	s x y z = x z (y z)
	k x y = x
	i = s k k
	c = s (s (k (s (k s) k)) s) (k k)
	b = s (k s) k

	hello =
	s(s(k s)(s(k k)(s(k s)(s(k(s(k s)))(s(s(k s)(s(k k)(s(k b)i)))(k(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s
	b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(c k))))))))))))))))))))))))))))))))))))))))))
	)))))))))))))))))))))))))))(s(s(k s)(s(k k)(s(k s)(s(k(s(k s)))(s(s(k s)(s(k k)(s(k b)i)))(k(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s b(s

	$ ghci
	GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help
	Loading package ghc-prim ... linking ... done.
	Loading package integer-gmp ... linking ... done.
	Loading package base ... linking ... done.
	Prelude> :l hello-ski.hs
	[1 of 1] Compiling Main ( hello-ski.hs, interpreted )
	Ok, modules loaded: Main.
	*Main> main
	Hello world!

	#!/usr/bin/env bash
	cabal configure && cabal build && cabal haddock --hyperlink-source \
	--html-location='/package/$pkg-$version/docs' \
	--contents-location='/package/$pkg'
	S=$?
	if [ "${S}" -eq "0" ]; then
	cd "dist/doc/html"
	DDIR="${1}-${2}-docs"
	cp -r "${1}" "${DDIR}" && tar -c -v -z --format=ustar -f "${DDIR}.tar.gz" "${DDIR}"
	CS=$?