We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4ac7743 commit 41d596aCopy full SHA for 41d596a
1 file changed
src/Appendices/QTT.md
@@ -1,6 +1,6 @@
1
# A Deep Dive into Quantitative Type Theory
2
3
-*This section was guest-written by [Kiana Sheibani](https://github.com/kiana-S).*
+*This section was guest-written by [Kiana Sheibani](https://github.com/tokinanpa).*
4
5
In the tutorial proper, when discussing functions, Idris 2's quantity
6
system was introduced. The description was intentionally a bit
0 commit comments