has anybody worked on dependent function types that annotate big-O time/memory complexity? @chrisamaphone @mcclure111
-
-
@edwinbrady@puffnfresh@aprilarcus@mcclure111 oh nooo i confused you two that’s embarrassing -_- -
@chrisamaphone@edwinbrady@aprilarcus@mcclure111 coincidentally looking for prior art: http://www.cse.chalmers.se/~nad/publications/danielsson-popl2008.html … and http://twanvl.nl/blog/agda/sorting …
End of conversation
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.