diff options
| -rw-r--r-- | shell/evaluate.mu (renamed from shell/eval.mu) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/shell/eval.mu b/shell/evaluate.mu
index e1fc3c50..e1fc3c50 100644
--- a/shell/eval.mu
+++ b/shell/evaluate.mu
|
| index : mu | |
| Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society. | Kartik K. Agaram <vc@akkartik.com> |
| about summary refs log tree commit diff stats |
| -rw-r--r-- | shell/evaluate.mu (renamed from shell/eval.mu) | 0 |
diff --git a/shell/eval.mu b/shell/evaluate.mu
index e1fc3c50..e1fc3c50 100644
--- a/shell/eval.mu
+++ b/shell/evaluate.mu
|