We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e4e52ce commit 075a287Copy full SHA for 075a287
README.md
@@ -4,6 +4,8 @@
4
5
Types and kinds for basic type-level programming
6
7
+_Note_: this library is a work in progress, and depends on compiler features which have not been officially released yet.
8
+
9
## Installation
10
11
```
0 commit comments