[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	609	March 26, 2020
Using has_type(list(Type), X) with user created type not working as expected Help!	9	1188	October 7, 2019
What is module awareness? (the case of the type_check library) Help!	1	347	June 13, 2020
What's the rationale for `must_be/2` to throw on type mismatch? Help! discussion	10	1230	June 25, 2020
New library to collect Prolog code manipuation Request For Comments	2	403	September 3, 2019