/fmi-lambda-calculus

Primary LanguageRust

Домашна работа по ЛСТД

Реализация на:

  • субституция за Λ (именувани термове)
  • субституция за Λ* (безименни термове)
  • превръщане от Λ до Λ*
  • превръщане от Λ* до Λ

Компилация

Нужни са rustc и cargo. (Би трябвало да има пакети за повечето линукс дистрибуции). Компилира се успешно с rustc версия поне 1.32 (не съм пробвал с по-стари).

# Build project
cargo build

# Run executable - either of:
cargo run -- <args>
cargo build && ./target/debug/hw <args>

# Run tests
cargo test

Изпълнение

Документацията в src/main.rs показва примерно използване.