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
Roast topics
Find topics
Find it!
Tips and tricks for writing functions that take proofs as arguments.
