https://github.com/alexknauth/gnal-lambda

#lang gnal λ
https://github.com/alexknauth/gnal-lambda

lambda-calculus

Last synced: 3 months ago
JSON representation

#lang gnal λ

• Host: GitHub
• URL: https://github.com/alexknauth/gnal-lambda
• Owner: AlexKnauth
• License: mit
• Created: 2016-07-27T02:45:50.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2022-01-07T14:57:10.000Z (over 4 years ago)
• Last Synced: 2025-01-30T11:13:06.423Z (over 1 year ago)
• Topics: lambda-calculus
• Language: Racket
• Size: 73.2 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
gnal-lambda [![Build Status](https://travis-ci.org/AlexKnauth/gnal-lambda.png?branch=master)](https://travis-ci.org/AlexKnauth/gnal-lambda)

===

A racket language based on lambda calculus + sugar for ADTs and IO.

```racket

#lang gnal λ

```

Is a lambda calculus.

```racket

#lang gnal λ/adt

```

Is lambda calculus + sugar for ADTs

```racket

#lang gnal λ/io

```

Is lambda calculus + sugar for ADTs and IO