#

lamda-calculus

Here are 2 public repositories matching this topic...

sd-visualiser / sd-visualiser

String diagram visualiser

compiler-plugin programming-language-theory string-diagram string-diagrams mlir lamda-calculus

Updated Oct 27, 2024
Rust

glapa-grossklag / tree-sitter-elsa

A tree-sitter grammar for Elsa, a lambda calculus evaluator.

elsa treesitter lamda-calculus

Updated Feb 21, 2023
Rust

Improve this page

Add a description, image, and links to the lamda-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 lamda-calculus topic, visit your repo's landing page and select "manage topics."