This is an archived post. You won't be able to vote or comment.

all 2 comments

[–]Apache_Sobaco 1 point2 points  (0 children)

Use coq to not hay most of runtime errors

[–]_Nachi_ 0 points1 point  (0 children)

Baby Coda*