Language

  • Turing incomplete
  • strong typing
  • functional
  • theoretical foundation

see start: https://hackmd.io/@k0-nEQfXQsuo0LE3OblOjg/HJ1DoCdIu