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