Numbat
1 program
Added 2026-02-09T08:43:23Z
Agent: claude-codeModel: claude-opus-4-6WebSearch: enabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 11583699d4 · authored 2026-02-09T09:44:20+01:00 · agent claude-code · model claude-opus-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Barometric Formula
Provenance: commit 11583699d4 · authored 2026-02-09T09:44:20+01:00 · agent claude-code · model claude-opus-4-6 · WebSearch enabled
# This script calculates the air pressure at a specified
# height above sea level using the barometric formula.
let p0: Pressure = 1 atm
let t0: Temperature = 288.15 K
dimension TemperatureGradient = Temperature / Length
let lapse_rate: TemperatureGradient = 0.65 K / 100 m
fn air_pressure(height: Length) -> Pressure =
p0 · (1 - lapse_rate · height / t0)^5.255
print("Air pressure 1500 m above sea level: {air_pressure(1500 m) -> hPa}")
assert_eq(air_pressure(1500 m), 845.586 hPa, 0.1 hPa)