diff options
| author | Melody Horn <melody@boringcactus.com> | 2021-03-12 18:55:07 -0700 |
|---|---|---|
| committer | Melody Horn <melody@boringcactus.com> | 2021-03-12 18:55:07 -0700 |
| commit | a07fed3794c0f91b4c2c7cd2332163b8cf031a72 (patch) | |
| tree | 5386439f72b993421ba7e2dcb8cb84e1a748373c /README.md | |
| download | rust-typing-the-technical-interview-a07fed3794c0f91b4c2c7cd2332163b8cf031a72.tar.gz rust-typing-the-technical-interview-a07fed3794c0f91b4c2c7cd2332163b8cf031a72.zip | |
a first attempt at heresy
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 6 |
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? |