Merge branch 'main' into johannes

This commit is contained in:
mergify[bot] 2024-09-18 16:36:45 +00:00 committed by GitHub
commit 6f79db0db0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -95,7 +95,7 @@
"stringLength": { "fn_type": "stringLength :: String -> Int" },
"sub": { "fn_type": "sub :: Number -> Number -> Number" },
"substring": { "fn_type": "substring :: Int -> Int -> String -> String" },
"tail": { "fn_type": "tail :: [a] -> a" },
"tail": { "fn_type": "tail :: [a] -> [a]" },
"throw": { "fn_type": "throw :: String" },
"toFile": { "fn_type": "toFile :: Path -> String -> StorePath " },
"toJSON": { "fn_type": "toJSON :: a -> String" },