Giters

MaxDesiatov / SwiftPie

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dependent-typesswiftinterpreterlambda-calculus

About

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

dependent-typesswiftinterpreterlambda-calculus

Languages

Language:Swift 100.0%