CARVIEW

MOTORHOMES

Select Language

HTTP/2 302 server: nginx date: Fri, 15 Aug 2025 12:26:39 GMT content-type: text/plain; charset=utf-8 content-length: 0 x-archive-redirect-reason: found capture at 20180611023718 location: https://web.archive.org/web/20180611023718/https://github.com/mzp/lambda server-timing: captures_list;dur=0.752061, exclusion.robots;dur=0.033832, exclusion.robots.policy;dur=0.019334, esindex;dur=0.011652, cdx.remote;dur=175.848569, LoadShardBlock;dur=406.967704, PetaboxLoader3.datanode;dur=91.045250, PetaboxLoader3.resolve;dur=145.069887 x-app-server: wwwb-app200 x-ts: 302 x-tr: 617 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0 set-cookie: wb-p-SERVER=wwwb-app200; path=/ x-location: All x-rl: 0 x-na: 0 x-page-cache: MISS server-timing: MISS x-nid: DigitalOcean referrer-policy: no-referrer-when-downgrade permissions-policy: interest-cohort=() HTTP/2 200 server: nginx date: Fri, 15 Aug 2025 12:26:40 GMT content-type: text/html; charset=utf-8 x-archive-orig-server: GitHub.com x-archive-orig-date: Mon, 11 Jun 2018 02:37:19 GMT x-archive-orig-transfer-encoding: chunked x-archive-orig-status: 200 OK x-archive-orig-cache-control: no-cache x-archive-orig-vary: X-PJAX x-archive-orig-set-cookie: logged_in=no; domain=.github.com; path=/; expires=Fri, 11 Jun 2038 02:37:19 -0000; secure; HttpOnly x-archive-orig-set-cookie: _gh_sess=cmdPYTNJRmtRdS9WcFh2N2FXcnhTMFNrWGVqdmY4VFFQdjl5enVhblZMMmxBN3ViQmRqbkJTK3RySWg0UkQ0S3ptcFd2S2JrWXlIanVFK3BwWWQrZzlkZTd6RVI3ajFBOGsyQ1ltYkk4MFBqekpCVmVwTnpjaHlOaUZGdjZ2aHBmUnJhdG9EMHhJQlJQTnRSN1doZjRUT3B5L0ZwUW9VNDEwd2RBVmtGZFlXTEEvSjVjKzFWS205WjFCdmJjSG9jMEh0aUFzdUR1OXhwUUJlazEzdkRVSEdWc3RvMHc5OXJLN09SK3MxR0c3b2NKVzlNTThiWVlyc1JGY0ZOZGJPNFAyeEJacnlZRWVEZ1lvS2NVT2RsZEhvZXZBRXZKQmc3aTlNL3RDNjJncm5jSWVhMmIxaXpyajVJWHpQRkwyUkdqM3VQSlRTWGZhanp0aEpVa0xyeUVsYlo1QmZ4dUZjeUNTN3JOYjVodFZ3TDBvWlUzL1N1bWxXU09ENXBWK3lwTEtmaCtrcDhwUndGL3JHRXFBUkxzQT09LS1mNnZRUEM5c2NOaHAxUSt4VXZkM1NRPT0%3D--279222b2fa78fbd9b8fc48282af6270e7327525c; path=/; secure; HttpOnly x-archive-orig-x-request-id: 231b6fef-2a5d-4711-8a8a-eb7463314169 x-archive-orig-x-runtime: 0.251023 x-archive-orig-strict-transport-security: max-age=31536000; includeSubdomains; preload x-archive-orig-x-frame-options: deny x-archive-orig-x-content-type-options: nosniff x-archive-orig-x-xss-protection: 1; mode=block x-archive-orig-expect-ct: max-age=2592000, report-uri="https://api.github.com/_private/browser/errors" x-archive-orig-content-security-policy: default-src 'none'; base-uri 'self'; block-all-mixed-content; connect-src 'self' uploads.github.com status.github.com collector.githubapp.com api.github.com www.google-analytics.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com wss://live.github.com; font-src assets-cdn.github.com; form-action 'self' github.com gist.github.com; frame-ancestors 'none'; frame-src render.githubusercontent.com; img-src 'self' data: assets-cdn.github.com identicons.github.com collector.githubapp.com github-cloud.s3.amazonaws.com *.githubusercontent.com; manifest-src 'self'; media-src 'none'; script-src assets-cdn.github.com; style-src 'unsafe-inline' assets-cdn.github.com x-archive-orig-x-runtime-rack: 0.260269 x-archive-orig-x-github-request-id: 8DD0:2130:43DDCC8:7DAAD4C:5B1DE05E x-archive-guessed-content-type: text/html x-archive-guessed-charset: utf-8 memento-datetime: Mon, 11 Jun 2018 02:37:18 GMT link: ; rel="original", ; rel="timemap"; type="application/link-format", ; rel="timegate", ; rel="first memento"; datetime="Mon, 11 Jun 2018 02:37:18 GMT", ; rel="memento"; datetime="Mon, 11 Jun 2018 02:37:18 GMT", ; rel="next memento"; datetime="Wed, 30 Dec 2020 12:54:21 GMT", ; rel="last memento"; datetime="Wed, 30 Dec 2020 12:54:21 GMT" content-security-policy: default-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob: archive.org web.archive.org web-static.archive.org wayback-api.archive.org athena.archive.org analytics.archive.org pragma.archivelab.org wwwb-events.archive.org x-archive-src: archiveteam_github_20180703104800/archiveteam_github_20180703104800.megawarc.warc.gz server-timing: captures_list;dur=0.533741, exclusion.robots;dur=0.025120, exclusion.robots.policy;dur=0.014212, esindex;dur=0.011477, cdx.remote;dur=8.410972, LoadShardBlock;dur=117.141154, PetaboxLoader3.datanode;dur=79.174661, PetaboxLoader3.resolve;dur=437.379424, load_resource;dur=449.382269 x-app-server: wwwb-app200 x-ts: 200 x-tr: 650 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=1 x-location: All x-rl: 0 x-na: 0 x-page-cache: MISS server-timing: MISS x-nid: DigitalOcean referrer-policy: no-referrer-when-downgrade permissions-policy: interest-cohort=() content-encoding: gzip GitHub - mzp/lambda: simple typed lambda calculus on Coq

simple typed lambda calculus on Coq https://d.hatena.ne.jp/mzp/

Verilog Ruby

Find file

Clone or download

Fetching latest commit…

Cannot retrieve the latest commit at this time.

README.mkdn

LCC(Lambda calculus on Coq)

OVERVIEW

LCC is a implementation of simple typed lambda calculus. And some theorems.

PREREQUIRED

Coq 8.2p1 or latter
omake

PROOF

$ omake

AUTHOR

MIZUNO "mzp" Hiroki (mzp@ocaml.jp)

You can’t perform that action at this time.

Original Source | Taken Source

	Failed to load latest commit information.
	scripts
	theorems
	.gitignore
	CoqBuildRule
	Makefile
	OMakefile
	OMakeroot
	README.mkdn

mzp/lambda

Join GitHub today

Clone with HTTPS

Launching GitHub Desktop...