This is a little model of spreadsheet computations as reducible expressions, sparked off during the Racket Summer School 2017. We want to use this model to make formal claims about spreadsheet transformations.
popular-parallel-programming/funcalc-redex
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|