Skip to content
<awesome-gh-repos>
vic

wkbraid/SimpleTypes

Implementation and verification of the Simply Typed Lambda Calculus using Idris
Source code at GitHub null
wkbraid/SimpleTypes.json
{
  "createdAt": "2016-02-21T02:21:57Z",
  "defaultBranch": "master",
  "description": "Implementation and verification of the Simply Typed Lambda Calculus using Idris",
  "fullName": "wkbraid/SimpleTypes",
  "homepage": null,
  "language": "Idris",
  "name": "SimpleTypes",
  "pushedAt": "2016-03-07T17:27:28Z",
  "stargazersCount": 3,
  "topics": [],
  "updatedAt": "2016-11-24T00:19:43Z",
  "url": "https://github.com/wkbraid/SimpleTypes"
}

Simply Typed Lambda Calculus in Idris

Section titled “Simply Typed Lambda Calculus in Idris”

Syntax.idr Defines syntax and typing rules for the Simply Typed Lambda Calculus with the base type Unit.

SmallStep.idr Defines small step dynamics for the language.