The Wayback Machine - https://web.archive.org/web/20210731013756/https://github.com/topics/lambda-calculus
Skip to content
#

lambda-calculus

Star

Here are 435 public repositories matching this topic...

Language: All
Filter by language
All 435 Haskell 97 JavaScript 46 Python 23 Rust 23 OCaml 21 C++ 17 Coq 15 Java 15 Scala 15 TeX 14
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

cedille / cedille

Star
Open

Allow import M as _

astump
astump commented Jan 15, 2020

It would be a nice convenience to allow the syntax

import M as _.

This would have the effect of checking module M but not adding any of its names to the context of the importing file. The use case for this is if you want to have a single Cedille source file that includes a bunch of other files, without having to worry about namespace clashes. This would be handy for testing. One can achie

Read more
good first issue

Improve this page

Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."

Learn more