tests · glean · Tangled

Verify Gleam functions in Lean 4.

glean tests

1 folder · 1 file

· extend stdlib coverage; lower pure-Gleam modules faithfully · 3mo ago

extend stdlib coverage; lower pure-Gleam modules faithfully

Add tests fixtures and example project