recursive-language (racket): A language for writing recursively computable functions
Keywords: language|recursion-theory