search

bor0 / gidti

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

Remove ZFC and just refer to set theory #4

Closed bor0 closed 6 years ago

bor0 commented 6 years ago

Fixes #3.