This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?
This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?
This action will block this actor and hide all of their past and future posts. Are you certain you want to block this actor?
This action will block this object. Are you certain you want to block this object?
/@seresearchers #seresearchers #ComputerScience #softwaretesting #typetheory
For the type theory folks out there, when contrasting between writing unit tests and providing type annotations, is there some thing in type annotations and type checking that correspond to coverage? and more specifically coverage adequacy?