[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	602	March 26, 2020
Transformation Tools and simple optimiser Announce	0	725	May 15, 2020
Lattices Help!	0	410	June 18, 2019
clp(QR) examples and tests (anyone has contact with Christian?) Announce	0	415	April 8, 2022
In lieu of a type system General discussion	1	323	June 28, 2023