[fluffything]

Who is using ATS in production?

When I learned it I wondered why would somebody use it instead of Rust or Idris.