Can you advise me some good resources explaining practical application/use cases of dependently typed programming languages? @edwinbrady
-
-
@geophf@lenadroid This kind of lightweight property may be more valuable than the strong correctness proofs we like to show off with [3/2] -
@geophf@lenadroid Seems I violated an assumption… [4/4] - 1 more reply
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.