Copilot
1 program
Added 2026-02-12T11:22:16Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 832d11b530 · authored 2026-02-12T12:22:50+01:00 · agent claude-code · model sonnet
Sources mentioning this language
2 sources · pl_id:
pl/copilotRelated languages
LLM-contributed programs
Temperature Monitor
Provenance: commit 832d11b530 · authored 2026-02-12T12:22:50+01:00 · agent claude-code · model sonnet · WebSearch disabled
-- Import Copilot Language
import Copilot.Language
import Copilot.Library.PTLTL
import Copilot.Compile.C99
-- | A simple Copilot program that monitors temperature
spec :: Spec
spec = do
-- Input stream representing temperature sensor
let temperature = extern "temperature" Nothing
-- Output trigger when temperature exceeds threshold
trigger "overheating" (temperature > 100) []
-- Compile and generate C code
main :: IO ()
main = reify spec >>= compile "temperature_monitor"
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)