purescript-deprecated · kl0tl · Nov 24, 2020
diff --git a/.gitignore b/.gitignore
diff --git a/.travis.yml b/.travis.yml
diff --git a/LICENSE b/LICENSE
diff --git a/README.md b/README.md
@@ -1,16 +1,5 @@
-# purescript-proxy
+# DEPRECATED
 
-[![Latest release](http://img.shields.io/bower/v/purescript-proxy.svg)](https://github.com/purescript/purescript-proxy/releases)
-[![Build Status](https://travis-ci.org/purescript/purescript-proxy.svg?branch=master)](https://travis-ci.org/purescript/purescript-proxy)
+The library is no longer maintained under this repository, it has been merged into [`purescript-prelude`](https://github.com/purescript/purescript-prelude).
 
-Value proxy for type inputs.
-
-## Installation
-
-```
-bower install purescript-proxy
-```
-
-## Documentation
-
-Module documentation is [published on Pursuit](http://pursuit.purescript.org/packages/purescript-proxy).
+[The previous releases](https://github.com/purescript-deprecated/purescript-proxy/releases) will continue to work for older libraries that still depend on them.
diff --git a/bower.json b/bower.json
diff --git a/package.json b/package.json
diff --git a/src/Type/Proxy.purs b/src/Type/Proxy.purs