name: Galois
depend: standard-library
include: src