[image] Experimental library for type-class-like polymorphic predicates Any feedback or comments appreciated. FYI in case you were not aware. Not implying anything by noting. Package type_check Package typedef

Experimental library for type-class-like polymorphic predicates (Discussion)

EricGT March 26, 2020, 4:11pm 1

FYI in case you were not aware. Not implying anything by noting.

1 Like

Experimental library for type-class-like polymorphic predicates

Topic		Replies	Views
Experimental library for type-class-like polymorphic predicates Announce	0	612	March 26, 2020
What is module awareness? (the case of the type_check library) Help!	1	348	June 13, 2020
Types with SWI-Prolog Split Topic discussion	32	4197	May 11, 2023
Using has_type(list(Type), X) with user created type not working as expected Help!	9	1199	October 7, 2019
Can I anyhow create my own types in the type_check package? Help!	0	40	September 22, 2025