Repository: NickGeek/absal-prototype
Description: A prototype implementation of my formal model for the "Abstract Algorithm" (interaction combinator based lambda calculus reducer)
Language: Rust
License: Mozilla Public License 2.0
Stars: 0.0 | Forks: 0.0 | Open issues: 0.0
Created: 2022-07-12 05:05:55
Owner: NickGeek (New Zealand)