Permalink
Browse files

Converting to sbt 0.11.2 project.

  • Loading branch information...
1 parent d7a0afd commit 587015bae66ce5b266bc07803bcccf1faec54465 @folone committed Apr 10, 2012
Showing with 17 additions and 2 deletions.
  1. +6 −0 .gitignore
  2. +7 −0 build.sbt
  3. +4 −2 { → src/main/scala}/Birds.scala
View
@@ -0,0 +1,6 @@
+target
+
+# the following is for vi and emacs users
+*~
+*#
+.#*
View
@@ -0,0 +1,7 @@
+name := "TypeLevelBirds"
+
+version := "1.0-SNAPSHOT"
+
+organization := "info.folone"
+
+scalaVersion := "2.9.1"
@@ -1,6 +1,8 @@
+package info.folone.birds
+
object Birds {
- // I combinator - identity bird / idion bird
+ // I combinator - identity bird / idiot bird
type Idiot = {
type Apply[A] = A
}
@@ -273,7 +275,7 @@ object Birds {
}
// Ki - kite.
- // Corresponds to the encoding of @false@ in the lambda calculus.
+ // Corresponds to the encoding of false in the lambda calculus.
// Dual to Kestrel
type Kite[A] = {
type Apply[B] = B

0 comments on commit 587015b

Please sign in to comment.