aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md6
1 files changed, 6 insertions, 0 deletions
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..c5c4eaa
--- /dev/null
+++ b/README.md
@@ -0,0 +1,6 @@
+I've done something terrible.
+
+You can [solve the N-Queens problem in Haskell with type-level programming](https://aphyr.com/posts/342-typing-the-technical-interview).
+And [Rust's type system allows for type-level programming](https://sdleffler.github.io/RustTypeSystemTuringComplete/).
+
+So what if you solved the N-Queens problem in Rust with type-level programming?