Typed Neuro-Symbolic Program Synthesis for the Typed Lambda Calculus implementation has moved: https://gitlab.com/KiaraGrouwstra/hasktorch/tree/synthesis/synthesis/