Hi all, 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?
I am looking for maybe something similar to the below: http://sylvain-henry.info/home/posts/2016-03-18-first-experiments-with-dependent-types.html
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
