LiquidHaskell
1 program
Added 2026-02-26T00:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Liquid Haskell, LH
Provenance: commit 48f8ac6ac8 · authored 2026-02-26T18:10:11+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 and absolute value with refinement types
Provenance: commit 48f8ac6ac8 · authored 2026-02-26T18:10:11+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
module Main where
{-@ type Nat = {v:Int | v >= 0} @-}
{-@ fibonacci :: Nat -> Nat @-}
fibonacci :: Int -> Int
fibonacci 0 = 0
fibonacci 1 = 1
fibonacci n = fibonacci (n-1) + fibonacci (n-2)
{-@ abs' :: Int -> Nat @-}
abs' :: Int -> Int
abs' n
| n < 0 = (-n)
| otherwise = n
main :: IO ()
main = do
putStrLn "Fibonacci sequence:"
mapM_ (print . fibonacci) [0..10]
putStrLn "Absolute values:"
mapM_ (\x -> print (abs' x)) [-3..3]