3 ms·
A program that requires 2^256 time units and 2^256 memory units is not really any better compared to unbounded computations.
by dependenttypes 6y ago
A program that requires 2^256 time units and 2^256 memory units is not really any better compared to unbounded computations.