<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<span style="background-color: rgba( 255 , 255 , 255 , 0 )">Hi all,<br /><br />How do I handle application errors in Ur? Is there a preferred method which allows to check whether all errors have their handlers or not?<br /><br />I am looking for maybe something similar to the below:<br /><a href="http://sylvain-henry.info/home/posts/2016-03-18-first-experiments-with-dependent-types.html" target="_blank">http://sylvain-henry.info/home/posts/2016-03-18-first-experiments-with-dependent-types.html</a></span><br /> </body>
</html>