Typedefs

Target support

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

  • Haskell.idr
  • ReasonML.idr
  • JSON.idr
  • CQL (Categorical Query Language, formerly AQL)
  • Flow
  • Elm