~ / track GGNeighboring paradigmsAPL/J, parser combinators, autodiff, probabilistic programming, term rewriting, proof assistants.$ topics(6)01Array programming (APL / J)Advanced→02Parser combinatorsIntermediate→03Automatic differentiationAdvanced→04Probabilistic programmingAdvanced→05Term rewritingAdvanced→06Proof assistants: Agda, Idris, LeanAdvanced→