https://github.com/mmzk1526/lambda_calculus_front_end

https://github.com/mmzk1526/lambda_calculus_front_end

dart flutter lambda-calculus simulator

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/mmzk1526/lambda_calculus_front_end
• Owner: MMZK1526
• Created: 2023-10-13T08:44:18.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2023-12-07T18:57:00.000Z (about 1 year ago)
• Last Synced: 2024-01-28T11:18:02.831Z (11 months ago)
• Topics: dart, flutter, lambda-calculus, simulator
• Language: Dart
• Homepage: https://mmzk1526.github.io/lambda_calculus_front_end/
• Size: 10.8 MB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Lambda Calculus Similator (Front-End)

A simple purely front-end Lambda Calculus simulator based on the Imperial College Modules of 50003 Models of Computation and 60023 Type Systems for Programming Languages.

- Web: https://mmzk1526.github.io/lambda_calculus_front_end/

- Library: https://pub.dev/packages/lambda_calculus