├── .gitignore ├── README.md └── src ├── main └── scala │ ├── bool │ └── Bool.scala │ ├── lambda │ ├── Term.scala │ └── package.scala │ └── nat │ └── Nat.scala └── test └── scala ├── bool └── BoolSpec.scala ├── helper └── UnitSpec.scala ├── lambda ├── DeBruijnTermSpec.scala └── TermSpec.scala └── nat └── NatSpec.scala /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/README.md -------------------------------------------------------------------------------- /src/main/scala/bool/Bool.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/src/main/scala/bool/Bool.scala -------------------------------------------------------------------------------- /src/main/scala/lambda/Term.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/src/main/scala/lambda/Term.scala -------------------------------------------------------------------------------- /src/main/scala/lambda/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/src/main/scala/lambda/package.scala -------------------------------------------------------------------------------- /src/main/scala/nat/Nat.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/src/main/scala/nat/Nat.scala -------------------------------------------------------------------------------- /src/test/scala/bool/BoolSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/src/test/scala/bool/BoolSpec.scala -------------------------------------------------------------------------------- /src/test/scala/helper/UnitSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/src/test/scala/helper/UnitSpec.scala -------------------------------------------------------------------------------- /src/test/scala/lambda/DeBruijnTermSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/src/test/scala/lambda/DeBruijnTermSpec.scala -------------------------------------------------------------------------------- /src/test/scala/lambda/TermSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/src/test/scala/lambda/TermSpec.scala -------------------------------------------------------------------------------- /src/test/scala/nat/NatSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tarao/lambda-scala/HEAD/src/test/scala/nat/NatSpec.scala --------------------------------------------------------------------------------