MaxDesiatov / SwiftPie Public

Notifications You must be signed in to change notification settings
Fork 0
Star 4

A Swift rewrite of "A Tutorial Implementation of a Dependently Typed Lambda Calculus"

4 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.github/workflows		.github/workflows
Sources/SwiftPie		Sources/SwiftPie
Tests/SwiftPieTests		Tests/SwiftPieTests
.gitignore		.gitignore
.pre-commit-config.yaml		.pre-commit-config.yaml
.swiftformat		.swiftformat
.swiftlint.yml		.swiftlint.yml
Package.resolved		Package.resolved
Package.swift		Package.swift
README.md		README.md

Repository files navigation

SwiftPie

A Swift rewrite of "A Tutorial Implementation of a Dependently Typed Lambda Calculus".

About

A Swift rewrite of "A Tutorial Implementation of a Dependently Typed Lambda Calculus"

swift dependent-types interpreter lambda-calculus

Report repository

Releases

No releases published

Languages

Swift 100.0%