From 5a39b54d671889eff46c778411b7f1a151659269 Mon Sep 17 00:00:00 2001 From: eason du <8177dph@gmail.com> Date: Mon, 19 Feb 2024 20:44:57 +0100 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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