From a07fed3794c0f91b4c2c7cd2332163b8cf031a72 Mon Sep 17 00:00:00 2001 From: Melody Horn Date: Fri, 12 Mar 2021 18:55:07 -0700 Subject: a first attempt at heresy --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 README.md (limited to 'README.md') 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? -- cgit v1.2.3