Sign in
Join now
glean
edouard.paris
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Verify Gleam functions in Lean 4.
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
glean
/
src
2 folders
·
3 files
at
main
edouard.paris
·
point unsupported-construct errors at the Gleam source line
·
3mo ago
539c284a
bin
model-testing harness + dict, module constants, multi-variant fields
3mo ago
bridge
point unsupported-construct errors at the Gleam source line
3mo ago
frontend.rs
extend stdlib coverage; lower pure-Gleam modules faithfully
3mo ago
lib.rs
Add tests fixtures and example project
3mo ago
project.rs
Add tests fixtures and example project
3mo ago
