Thomas Sewell

icon company UNSW icon location Sydney, Australia icon location Baby academic and itinerant proof engineer. Currently at UNSW.

Results 21 comments of Thomas Sewell

Constant propagation in word_simp

For the purposes of pancake programs, this might be fixed by https://github.com/CakeML/cakeml/pull/1169 , assuming that PR succeeds.