3 ms·
Does the terse notation of Iversonian languages lend itself well to algebraic manipulation or rewriting (like beta reduction)?
by aeonik 6mo ago
Does the terse notation of Iversonian languages lend itself well to algebraic manipulation or rewriting (like beta reduction)?