[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
> On Dec 10, 2020, at 1:49 PM, Stefan Monnier <[email protected]> wrote: > > That sounds much more impressive than turning Nats into machine > integers, indeed, I'm interested to hear what you find. > > I've been pointed to https://cozy.uwplse.org/, which I think is the project I was looking for. Thanks, TYPES! Richard -=-=-=-=-=-=-=-=-=-=- Richard A. Eisenberg, PhD Principal Researcher at https://tweag.io https://richarde.dev/
