https://github.com/01mf02/lambda-parse

Parsers for lambda terms
https://github.com/01mf02/lambda-parse

Last synced: about 2 months ago
JSON representation

Parsers for lambda terms

• Host: GitHub
• URL: https://github.com/01mf02/lambda-parse
• Owner: 01mf02
• Created: 2022-02-11T10:47:32.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-02-11T10:47:51.000Z (over 2 years ago)
• Last Synced: 2024-05-22T20:34:09.263Z (4 months ago)
• Language: Rust
• Size: 5.86 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - Lambda Term Parsing - explores different parser designs for a simple lambda term grammar. (Projects / Libraries)

README

        
Lambda Term Parsing

===================

This repository explores different parser designs for a simple lambda term grammar.