-
Date
-
November, 2021 - February, 2022
-
Languages
-
Mathematica, Rust
-
Platforms
-
Platforms with Wolfram Mathematica support, Platforms with Rust support
'About' data not found. From the Resume entry:
Conducted a three-month-long exploration of lambda calculus and its applications in mathematical logic and programming language theory with Lawrenceville’s Miguel Bayona. The final project included a presentation and two interpreters, written in Rust and Mathematica.