Author: nLab edit announcer Format: MarkdownItexstarting page on decidable functions in dependent type theory
Jordan
<a href="https://ncatlab.org/nlab/revision/decidable+function/1">v1</a>, <a href="https://ncatlab.org/nlab/show/decidable+function">current</a>
starting page on decidable functions in dependent type theory