blob: 9385ce0982bc1bcf2a46e303cc826f6dcdf40acd (
plain)
1
2
3
4
5
6
7
8
9
|
---
date: '2017-08-17T00:00:00Z'
draft: true
tags:
- tapl
- rust
title: Untyped Arithmetic Expressions
---
Chapters 3 and 4 of the book develop the required tools for a small and trivial language of numbers and booleans. You can find the [OCaml implementation](https://www.cis.upenn.edu/~bcpierce/tapl/checkers/arith.tar.gz) of this language on book's website. And you can find my Rust implementation at [arith.rs](https://github.com/amir/tapl.rs/blob/master/src/tapl/arith.rs).
|
