[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	487	March 26, 2020
Tools for reduced semantics and structural inference? Help!	276	April 5, 2020
Transformation Tools and simple optimiser Announce	667	May 15, 2020
Lattices Help!	358	June 18, 2019
clp(QR) examples and tests (anyone has contact with Christian?) Announce	371	April 8, 2022