Hacker News new | ask | show | jobs
by aeonik 72 days ago
Does the terse notation of Iversonian languages lend itself well to algebraic manipulation or rewriting (like beta reduction)?