Porting Kind to TypeScript for a reference point

[lancejpollard]

Browse code.

Entrypoint function compileJS.

env
  envBind
  envPure
  envFail
  envRun
  envLog
  envSnapshot
  envRewind
  envSusp
  envFill
  envGetFill
  envGetBook
  envTakeSusp
check
  infer
  check
  checkTele
  checkUnreachable
  checkLater
  doCheckMode
  doCheck
  doAnnotate
equal
  equal
  unify
  valid
  solve
  occur
  same
  subst
  replace
  incompatible
reduce
  reduce
  normal
  normalTele
  bind
  genMetas
  genMetasGo
  genMetasGoTele
  countMetas
util
  getDeps
  getAllDeps
  topoSortBook
  teleToType
  teleToTerms
  getTeleNames
  getDatIndices
  getType
  getTerm
  getCtrName
  getADTCts
  getArgNames
  getForallNames
  getOpReturnType
  checkValidType
compile/js
  getADTCts
  getTeleNames
  reduce
  termToCT
  createVar
  removeUnreachables
  liftLambdas
  inline
  red
  app
  skip
  ref
  getArguments
  arityOf
  isRecCall
  isSatCall
  isEffCall
  operToJS
  getArguments
  nameToJS
  fresh
  isRecCall
  isSatCall
  isEffCall
  arityOf
  getAppChain
  fnToJS
  LIST_TO_JSTR
  JSTR_TO_LIST
  SWAP
  generateJS
  defToCT
  compileJS
  bindCT
  rnCT
  getAppChain
  isNul
  showOper
  showCT