WhiteBlackGoose/LambdaCalculusFSharp

This system is a Lambda Calculus engine and interactive development environment built with .NET 9. It provides core computational capabilities including parsing, alpha-equivalence checking, substitution, and beta/eta reduction, alongside the ability to transpile expressions into executable C\# code. The system exposes these features through both a command-line REPL and a Blazor WebAssembly web interface for interactive calculation.

A new Visual Studio solution file (LambdaCalculus.sln) has been added to the project, defining the build structure for the LambdaCalculus core library, the LambdaCalculusConsole application, the LambdaCalculusTests project, and the new LambdaCalculusWeb web application.

LambdaCalculus · high confidence

The web application now includes an initial HTML entry point (index.html) that serves as the root for the Blazor WebAssembly app. This file sets up the basic HTML structure, configures the viewport for mobile responsiveness, and loads the Blazor runtime script, providing the foundation for the client-side application to render.

LambdaCalculus/LambdaCalculusWeb/wwwroot · high confidence

The LambdaCalculusConsole REPL has been enhanced to provide more detailed feedback for each input. In addition to the existing parsing and beta-reduction steps, the console now explicitly prints the eta-reduced form of the expression and the corresponding C\# code generated via transpilation, allowing users to see the results of these additional transformations alongside the standard beta-reduction output.

LambdaCalculus/LambdaCalculusConsole · high confidence

The LambdaCalculus web application has been initialized with the core Blazor WebAssembly scaffolding. This includes the entry point in Program.cs which configures the root component and HTTP client, the App.razor router setup for navigation and error handling, the MainLayout.razor for the page structure, and shared imports to streamline component development.

LambdaCalculus/LambdaCalculusWeb, LambdaCalculus/LambdaCalculusWeb/Shared · high confidence

This change introduces the core Lambda Calculus library, defining expression types (variables, lambdas, applications) and providing beta and eta reduction capabilities with alpha-conversion to prevent variable capture. It includes a string serialization module for debugging and a new feature that transpiles lambda expressions into executable C\# delegate code.

LambdaCalculus/LambdaCalculus · high confidence

Added the core parsing logic for Lambda Calculus expressions, introducing the \Parsing.fs\ and \TextParsing.fs\ modules. This change enables the system to parse text input into abstract syntax trees, supporting variable binding, lambda abstractions, and application via parentheses. The parser normalizes input by replacing lambda symbols and ignoring whitespace, and includes helper functions for handling balanced brackets and variable sequences.

LambdaCalculus/LambdaCalculus/Parsing · high confidence

The web application now includes a new main page that provides an interactive interface for performing core lambda calculus operations. Users can input expressions to perform parsing, check alpha equivalence between two expressions, execute variable substitution, and apply beta and eta reduction. The interface features styled input fields and result displays, with support for triggering actions via button clicks or the Enter key.

LambdaCalculus/LambdaCalculusWeb/Pages · high confidence

Added a new test suite in the LambdaCalculusTests project covering alpha-equality, beta-reduction, eta-reduction, parsing, and substitution. These tests verify the correctness of the underlying lambda calculus logic, including specific edge cases such as variable capture avoidance and non-terminating reduction detection.

LambdaCalculus/LambdaCalculusTests · high confidence

This change introduces the initial project structure for a Lambda Calculus library written in F\#, along with a console application, a test suite, and a Blazor WebAssembly web interface. The core library targets .NET 9 and provides parsing, output, and transpilation to C\#. The web application leverages .NET 9 Blazor WebAssembly, integrating QRCoder for QR code generation and Microsoft.AspNetCore.WebUtilities, while the test suite uses xUnit and Microsoft.NET.Test.Sdk, all targeting .NET 9.

(dependencies) · high confidence

Written by watchdog.canine.dev from the codebase's own history, inside the signed delivery this page is composed from.

• CAI 42 → 41 (-0.7)
• Rubric changed (rubric-2026.09.15 → rubric-2026.10.1) — scores are not directly comparable.

• Code Health 74 → 74 (+0.0)
• Architecture 97 → 100 (+2.9)
• Maturity 57 → 52 (-4.6)
• Readiness 42 → 42 (+0.0)
• Security 33 → 32 (-0.9)
• Accessibility 44 → 44 (+0.0)

• Documentation: no usage examples (README.md)

• Orphaned files with no living knowledge

• Unchanged — 1 containers · 0 contexts · 0 edges

Written by watchdog.canine.dev from the codebase's own history, inside the signed delivery this page is composed from.

WhiteBlackGoose/LambdaCalculusFSharp was measured the same way every project in this corpus was: the same rubric, at a pinned commit, with the result published in full. Point a surveyor at a repository you know and see whether you agree with it.