From 89d4abaf58b8cec6385aa2d7a680e273e9d074d2 Mon Sep 17 00:00:00 2001 From: Mark Lemay Date: Tue, 16 Jan 2024 19:45:19 -0500 Subject: [PATCH] Update README.md --- README.md | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 7cfe830..d55299c 100644 --- a/README.md +++ b/README.md @@ -33,9 +33,10 @@ latexmk draft.tex -pdf ``` ## Related -* https://github.com/marklemay/boston-university-thesis-template -* https://github.com/marklemay/thesis-proposal -* https://icfp21.sigplan.org/details/TyDe-2021/1/Gradual-Correctness-a-Dynamically-Bidirectional-Full-Spectrum-Dependent-Type-Theory- - * https://github.com/marklemay/dDynamic - * https://github.com/marklemay/dtest-coq2 - * https://github.com/qcfu-bu/dtest-coq +* https://github.com/marklemay/dDynamic +* https://dl.acm.org/doi/10.1145/3609027.3609407 +* https://github.com/marklemay/dtest-coq2 +* https://github.com/qcfu-bu/dtest-coq +* BU admin + * https://github.com/marklemay/boston-university-thesis-template + * https://github.com/marklemay/thesis-proposal