History log of /seL4-camkes-master/tools/cogent/cogent/examples/recursive-list-example/Makefile
Revision Date Author Comments
# 2684d923 03-Jul-2020 Zilin Chen <Zilin.Chen@data61.csiro.au>

compiler: bulk rename stdgum to libgum in all places
# 9fad8549 24-Feb-2020 Emmet Murray <e.minor.murray@gmail.com>

example: list usage