{"size": 858, "ext": "scrbl", "max_stars_repo_path": "lambda-vc/scribblings/lambda-vc.scrbl", "max_stars_repo_name": "asvarga/variadic-curry-calculus", "max_stars_repo_stars_event_min_datetime": "2020-11-29T11:46:03.000Z", "max_stars_repo_stars_event_max_datetime": "2021-07-28T21:28:20.000Z", "max_issues_repo_path": "lambda-vc/scribblings/lambda-vc.scrbl", "max_issues_repo_name": "asvarga/variadic-curry-calculus", "max_issues_repo_issues_event_min_datetime": "2020-11-30T00:05:13.000Z", "max_issues_repo_issues_event_max_datetime": "2021-03-18T05:28:09.000Z", "max_forks_repo_path": "lambda-vc/scribblings/lambda-vc.scrbl", "max_forks_repo_name": "asvarga/variadic-curry-calculus", "max_forks_repo_forks_event_min_datetime": "2020-11-29T23:35:18.000Z", "max_forks_repo_forks_event_max_datetime": "2020-11-29T23:35:18.000Z"}
{"max_stars_count": 9, "max_issues_count": 6, "max_forks_count": 1, "avg_line_length": 31.7777777778, "max_line_length": 105, "alphanum_fraction": 0.6177156177}
#lang scribble/manual
@; -*- mode: Scribble -*-

@;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

@require[scriblib/footnote]

@title{λ@subscript{vc}: Variadic Auto-Curried Lambda Calculus}
@author[(@author+email "Pierce Darragh" "pierce.darragh@gmail.com")]

This package implements λ@subscript{vc}: the lambda calculus extended to
support @bold{v}ariadic functions and automatic @bold{c}urrying of multary
functions.
The code lives on GitHub at
@hyperlink["https://github.com/pdarragh/variadic-curry-calculus"]{@tt{pdarragh/variadic-curry-calculus}}.

@;
@table-of-contents[]
@include-section["background.scrbl"]
@include-section["using-interpreter.scrbl"]
@include-section["syntax.scrbl"]
@include-section["semantics.scrbl"]

@;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

@; End of file.
