Welcome • User Guide
ToS • Privacy • Canary
Donate • Bugs • License

©2024 Poal.co

868

(post is archived)

You are currently inside a comment thread.
Click here to see all the comments (8).
[–] • 0 pt

Use a dependently typed language and prove it correct.