News for hackers. Stuff that matters.

A comment on Type Inference That Sticks. Parent comment

Re:Type Inference That Sticks by tel on Monday February 06, 2023 @12:58AM (#34673901)
Sorry, not referring to the whole post wrt Agda, just the vision of interactivity that proof search and tactics give you.
[ Parent | on HN ]

There are no comments on this comment yet.