@edwinbrady could you check @raxpost's question about Dependent Types? https://discuss.codepodcast.com/t/episode-5-type-systems/22/6?u=filipovskii …
Done!
6:13 AM - 5 Mar 2017
0 replies
0 retweets
1 like
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.