Mind expanding programming languages
- C
- Common Lisp (via LISP)
- Dedalus (via Datalog)
- Erlang
- Factor (via Joy via Forth)
- Haskell (via the ML family)
- Idris
- J (via APL)
- Ohm (via OMeta via META-ii)
- Oz
- Prolog (via Planner)
- Pure
- Racket (via T via Scheme)
- Smalltalk