Login
From:
SYSTEMF @ EPFL
(Uncensored)
subscribe
How to write a type-safe unwrap (aka fromJust)
https://systemf.epfl.ch/blog/unwrapping-options/
links
backlinks
Tagged with:
tutorials
coq
Tips and tricks for writing functions that take proofs as arguments.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
