Can you advise me some good resources explaining practical application/use cases of dependently typed programming languages? @edwinbrady
-
-
@geophf@lenadroid e.g. in non DT code I might assume a list can't be empty, but it's hard to make that explicit and it bites later [2/2] -
@geophf@lenadroid This kind of lightweight property may be more valuable than the strong correctness proofs we like to show off with [3/2] - 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.