search

bor0 / gidti

Book: Introduction to Dependent Types with Idris
https://leanpub.com/gidti
Other
76 stars 4 forks source link

Edit set theory definitions #23

Closed nbloomf closed 6 years ago

nbloomf commented 6 years ago

Set builder notation is a nice way to tie first-order logic to set theory; added some prose about this here.