On 23/01/18 12:16, Mario Castelán Castro wrote:
> For example, in HOL4 you have the seemingly
> universal type {x | T}Correction: I meant “the seemingly universal set”.
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
