Skip to content

Merge remote-tracking branch 'dk/master' into pos

725db1c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

allow parsing of positive numbers in decimal notation #55

Merge remote-tracking branch 'dk/master' into pos
725db1c
Select commit
Loading
Failed to load commit list.
build (lambdapi)
succeeded Dec 31, 2025 in 3m 47s