Remove code now hosted elsewhere

Author: sgillespie

.travis.yml

@@ -1,71 +1,26 @@
 # Lambda Calculus
-[![Build Status](https://travis-ci.org/sgillespie/lambda-calculus.svg?branch=master)](https://travis-ci.org/sgillespie/lambda-calculus)
-
+> An introduction to the Lambda Calculus
 Lambda Calculus is a tiny functional language for expressing computation based 
 on function abstraction and application. 
 
 This project is intended to be an educational resource for learning and 
 implementing functional programming languages.
 
+Looking for Lambda Calculator? It's been moved into it's own repository: https://github.com/sgillespie/lambda-calculator
+
 # Introduction to Lambda Calculus
 Introductory material is provided. They can be found at
 
  * [doc/lambda-calculus.md](doc/lambda-calculus.md)
  * [doc/system-f.md](doc/system-f.md)
 
 ## Extended Examples
-More examples can be found in the test-suite, located at
+More examples can be found in the Lambda Calculator's test-suite, located at
 
-[test/Language/Lambda/Examples](test/Language/Lambda/Examples)
+[test/Language/Lambda/Untyped/Examples](test/Language/Lambda/Untyped/Examples)
+[test/Language/Lambda/SystemF/Examples](test/Language/Lambda/SystemF/Examples)
 
 # Implementation
-A simple implementation of the untyped lambda calculus is included. It is written in 
-Haskell and is implemented to be as easy to follow, at the possible expense of 
-performance.
-
-## Building
-In order to build, you will need
-
- * GHC >= 8
- * stack
-
-Build:
-
-    stack build
-    
-Then install:
-
-    stack install
-    
-## Running
-Once the program is installed, you simply run it:
-
-    lambda-calculator
-    
-This will open a repl (read-eval-print loop) prompt
-
-    Lambda Calculator (0.5.0)
-    Type :h for help
-
-You can start typing lambda calculus expressions and the program will evaluate them
-and print the result. Here are a few examples:
-
-    Lambda Calculator (0.5.0)
-    Type :h for help
-    λ > \x. x
-    λx. x
-    λ > (\x. x) n
-    n
-    λ > (\n f x. f (n f x)) (\f x. f (f x))
-    λf x. f (f (f x))
-    λ > :q
-    
-You can exit by typing the command :q.
-
-## Running Tests
-In order to run the testsuite, run
-
-    stack test
 
 # Author
 **Sean Gillespie** [[email protected]](mailto:[email protected])