GabrielTofvesson/bred
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2 Commits 1 Branch 0 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Gabriel Tofvesson f6fbe890b5 Implement basic beta reduction
2025-08-24 14:06:26 +02:00
src
Implement basic beta reduction
2025-08-24 14:06:26 +02:00
.gitignore
Initial commit
2025-08-23 21:32:48 +02:00
Cargo.lock
Initial commit
2025-08-23 21:32:48 +02:00
Cargo.toml
Initial commit
2025-08-23 21:32:48 +02:00
Description
Beta-reducing expressions in lambda calculus
27 KiB
Languages
Rust 100%