├── .gitignore ├── .gitmodules ├── .travis.yml ├── Cartfile.private ├── Cartfile.resolved ├── LICENSE ├── README.md ├── Sources ├── ABT.swift ├── Arity.swift ├── DictionaryExt.swift ├── Info.plist ├── LocallyNameless.swift ├── Naming.swift ├── Operator.swift ├── Sort.swift ├── Symbol.swift ├── Valence.h ├── Valence.swift └── Views.swift ├── Tests ├── Calculator.swift ├── Cubical.swift ├── Detritus.swift ├── Info.plist ├── STLC.swift └── SystemF.swift └── Valence.xcodeproj ├── project.pbxproj ├── project.xcworkspace └── contents.xcworkspacedata └── xcshareddata └── xcschemes ├── Valence-iOS.xcscheme ├── Valence-tvOS.xcscheme ├── Valence-watchOS.xcscheme └── Valence.xcscheme /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/.gitmodules -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/.travis.yml -------------------------------------------------------------------------------- /Cartfile.private: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Cartfile.private -------------------------------------------------------------------------------- /Cartfile.resolved: -------------------------------------------------------------------------------- 1 | github "typelift/SwiftCheck" "a260f94ae3cf5d430e8140ba3905d3d47663bff7" 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/README.md -------------------------------------------------------------------------------- /Sources/ABT.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/ABT.swift -------------------------------------------------------------------------------- /Sources/Arity.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/Arity.swift -------------------------------------------------------------------------------- /Sources/DictionaryExt.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/DictionaryExt.swift -------------------------------------------------------------------------------- /Sources/Info.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/Info.plist -------------------------------------------------------------------------------- /Sources/LocallyNameless.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/LocallyNameless.swift -------------------------------------------------------------------------------- /Sources/Naming.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/Naming.swift -------------------------------------------------------------------------------- /Sources/Operator.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/Operator.swift -------------------------------------------------------------------------------- /Sources/Sort.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/Sort.swift -------------------------------------------------------------------------------- /Sources/Symbol.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/Symbol.swift -------------------------------------------------------------------------------- /Sources/Valence.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/Valence.h -------------------------------------------------------------------------------- /Sources/Valence.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/Valence.swift -------------------------------------------------------------------------------- /Sources/Views.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Sources/Views.swift -------------------------------------------------------------------------------- /Tests/Calculator.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Tests/Calculator.swift -------------------------------------------------------------------------------- /Tests/Cubical.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Tests/Cubical.swift -------------------------------------------------------------------------------- /Tests/Detritus.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Tests/Detritus.swift -------------------------------------------------------------------------------- /Tests/Info.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Tests/Info.plist -------------------------------------------------------------------------------- /Tests/STLC.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Tests/STLC.swift -------------------------------------------------------------------------------- /Tests/SystemF.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Tests/SystemF.swift -------------------------------------------------------------------------------- /Valence.xcodeproj/project.pbxproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Valence.xcodeproj/project.pbxproj -------------------------------------------------------------------------------- /Valence.xcodeproj/project.xcworkspace/contents.xcworkspacedata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Valence.xcodeproj/project.xcworkspace/contents.xcworkspacedata -------------------------------------------------------------------------------- /Valence.xcodeproj/xcshareddata/xcschemes/Valence-iOS.xcscheme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Valence.xcodeproj/xcshareddata/xcschemes/Valence-iOS.xcscheme -------------------------------------------------------------------------------- /Valence.xcodeproj/xcshareddata/xcschemes/Valence-tvOS.xcscheme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Valence.xcodeproj/xcshareddata/xcschemes/Valence-tvOS.xcscheme -------------------------------------------------------------------------------- /Valence.xcodeproj/xcshareddata/xcschemes/Valence-watchOS.xcscheme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Valence.xcodeproj/xcshareddata/xcschemes/Valence-watchOS.xcscheme -------------------------------------------------------------------------------- /Valence.xcodeproj/xcshareddata/xcschemes/Valence.xcscheme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelift/Valence/HEAD/Valence.xcodeproj/xcshareddata/xcschemes/Valence.xcscheme --------------------------------------------------------------------------------