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.