A list of languages that never made it, sadly. Probably more to be added as time & research goes on : 

---

- [Frank](https://github.com/frank-lang/frank)- a compiler programming language written in [Haskell](obsidian://open?vault=enter&file=Coding%20Tips%20(Classical)%2FTerminal%20Tips%2FLanguages%2FMiddle%2FHaskell) 
	- here is a [paper](https://arxiv.org/pdf/1611.09259.pdf) on the Frank tutorial. 
- [SETL](https://setl.org/setl/) - an interesting very-high-level language created by someone at IBM, and has to do with set theory.