Collection of ATS goodness
machine-learning
dependent-types
neural-network
compiler
algorithms
functional-programming
lambda-calculus
sudoku
tail-recursion
ats-lang
-
Updated
Nov 19, 2019 - ATS
Collection of ATS goodness
Add a description, image, and links to the tail-recursion topic page so that developers can more easily learn about it.
To associate your repository with the tail-recursion topic, visit your repo's landing page and select "manage topics."