Skip to content

use new buildIdris' function #1432

use new buildIdris' function

use new buildIdris' function #1432

Annotations

1 warning

stable-idris

succeeded Sep 14, 2024 in 1m 42s