From 9981c2b6eb2dd8d005b9c33d080c67035c45c909 Mon Sep 17 00:00:00 2001 From: Konstantinos Kallas Date: Tue, 2 Mar 2021 20:04:08 -0500 Subject: [PATCH] Delete obsolete file --- docs/other.md | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 docs/other.md diff --git a/docs/other.md b/docs/other.md deleted file mode 100644 index 1cdd066ed..000000000 --- a/docs/other.md +++ /dev/null @@ -1,15 +0,0 @@ -## Issues - -Commands: - -* BSD commands are (often, slightly) different from GNU -* Commands generally have spaces of variable size that affect `agg` and `diff` -* Our runtime, `split` and `eager`, is affected by POSIX vs. optimized Linux choices -* aggregators could be written in (stream-based) Rust -* Commands are context dependent --- for example, `grep` might come from `alias grep = "awk"`. Generally, since PaSh's annotations (contrary to types) have no notion of scope, - we have to think about this. - -## Broader Impact - -Ideas about broader impact can be found in this [document](https://docs.google.com/document/d/1XUAXr-Wt44Z2LLIN4OtK6FAlk-KOCHAs-_tWbKoJQGI/edit?usp=sharing). -