ATS2
1 program
Added 2026-02-26T16:54:16Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: ATS/LF, Applied Type System 2
Provenance: commit 20b60a15e4 · authored 2026-02-26T17:54:47+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Fibonacci Sequence
Provenance: commit 20b60a15e4 · authored 2026-02-26T17:54:47+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
(*
** Fibonacci sequence in ATS2
*)
#include "share/atspre_staload.hats"
fun fib (n: int): int =
if n <= 1 then n
else fib(n-1) + fib(n-2)
implement main0 () = {
val () = println! ("fib(0) = ", fib 0)
val () = println! ("fib(1) = ", fib 1)
val () = println! ("fib(5) = ", fib 5)
val () = println! ("fib(10) = ", fib 10)
val () = println! ("fib(15) = ", fib 15)
}