diff --git a/README.md b/README.md index 9bf1cad..7691280 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,6 @@ # dependentChisel This is the Master thesis : Dependent Chisel: Statically-checked hardware designs based on Chisel and Scala 3, by Yuchen du +https://github.com/doofin/dependentChisel/blob/master/Msc_Thesis_yuchen.pdf It uses partial dependent types in Scala 3 to provide early error message for Chisel. @@ -39,4 +40,4 @@ with git ls-files | grep '\.scala$' | xargs wc -l -chisel has 60927 total loc \ No newline at end of file +chisel has 60927 total loc