hdiff
packages
feed
ychr
-0.1.0.0: test/golden/list_test/list_test.chr
:- module(list_test, [head/2]). :- chr_constraint head/2. head([H|_], R) <=> R = H.