employer
/
tame
1
0
Fork 0
Code Packages Releases Activity

design/tpl (Classification System): Remove TODO for always/never 

This was done in the previous commit.
master
Mike Gerwitz 2021-05-18 14:11:40 -04:00
parent 8957e6caf0
commit ef231f89fa
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
design/tpl/sec/class.tex
View File

@ -230,7 +230,6 @@ For notational convenience,
\begin{lemma}[Classification Predicate Vacuity]\lemlabel{class-pred-vacu}
\todo{Ex: \texttt{always} and \texttt{never} classifications from \texttt{base}.}
Let $\Classify^c_\gamma\left(\Monoid\Bool\bullet e,\emptyset,\emptyset,\emptyset\right)$
be a classification by~\axmref{class-intro}.
$\odot$ is a monoid by \corref{odot-monoid}.