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.
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.