pant (ARCHIVED) Propositions Are Not Types: Naturalizing Information Content in Computing This is a rough draft essay I wrote years back that has good ideas I will stand by as well as various problems and IMO should be ignored. --Rob (2021)