Target support

See src/Typedefs/Backend.

Languages & systems we might want to support or have already implemented:

• Idris
• Haskell, seeHaskell.idr
• PureScript
• ReasonML, seeReasonML.idr
• JavaScript
• OCaml
• JSON Schema, seeJSON.idr

Possible others:

• F#
• Agda
• Coq
• ndjson
• SQL
• CQL (Categorical Query Language, formerly AQL)
• Scala
• Swift
• Clojure
• other LISPs
• Racket
• Typescript
• Flow
• Python
• Julia
• PHP
• Perl
• Java
• C#
• XML Schema
• HTML forms