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

lambda-calculus

Star

Here are 380 public repositories matching this topic...

Language: All
Filter by language
All 380 Haskell 85 JavaScript 38 Python 22 Rust 19 OCaml 18 Coq 15 Java 14 Scala 14 C++ 13 TeX 13
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

You can’t perform that action at this time.