diff --git a/existential-types.md b/existential-types.md new file mode 100644 index 0000000..b937ddd --- /dev/null +++ b/existential-types.md @@ -0,0 +1,3 @@ +https://gist.github.com/CMCDragonkai/b203769c588caddf8cb051529339635c + +http://iveselov.info/posts/2012-08-30-existential-types.html