4 ms·
The page mentions that the implementation has 32 bit signed integers, plus it uses Scott encodings and not Church.
by atennapel 4y ago
The page mentions that the implementation has 32 bit signed integers, plus it uses Scott encodings and not Church.