From b24ea900cd3af5c04f75b08bae158741c3c648d5 Mon Sep 17 00:00:00 2001 From: Jonathan Chan Date: Mon, 21 Apr 2025 14:32:55 -0400 Subject: [PATCH] Formatting --- cbpv.mng | 5 +++-- cbpv.pdf | 4 ++-- cbpv.tex | 5 +++-- 3 files changed, 8 insertions(+), 6 deletions(-) diff --git a/cbpv.mng b/cbpv.mng index 0f9dca8..1bbd6c9 100644 --- a/cbpv.mng +++ b/cbpv.mng @@ -32,9 +32,10 @@ \newcommand{\apriori}{\textit{a priori}\@\xspace} \newcommand{\aposteriori}{\textit{a posteriori}\@\xspace} -\title{Strong Normalization for \\ Simply Typed Call-by-Push-Value} +\title{Strong Normalization for \\ Simply Typed Call-by-Push-Value \\[0.5\baselineskip] +\large CIS 6700: Type Systems} \author{Jonathan Chan} -\date{} +\date{8 May 2025} \inputott{rules} diff --git a/cbpv.pdf b/cbpv.pdf index 0ceb2fd..2e35f6f 100644 --- a/cbpv.pdf +++ b/cbpv.pdf @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:9f945624690e80f0ebb4c6c5de7a7af8f953b9aab918c08c3c9e9738bf81e976 -size 320767 +oid sha256:a31aa4f3d423add5b5ce1d9b7ae67baa176cb9d1bcd7cd496993c6227e78fd4b +size 325048 diff --git a/cbpv.tex b/cbpv.tex index 44031ff..3646e75 100644 --- a/cbpv.tex +++ b/cbpv.tex @@ -32,9 +32,10 @@ \newcommand{\apriori}{\textit{a priori}\@\xspace} \newcommand{\aposteriori}{\textit{a posteriori}\@\xspace} -\title{Strong Normalization for \\ Simply Typed Call-by-Push-Value} +\title{Strong Normalization for \\ Simply Typed Call-by-Push-Value \\[0.5\baselineskip] +\large CIS 6700: Type Systems} \author{Jonathan Chan} -\date{} +\date{8 May 2025} \inputott{rules}