EconomyHiO.gft « axioms « SUMO « examples - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/examples/SUMO/axioms/EconomyHiO.gft

blob: 3545a4b8b6f98c4cd7020a49f458515ecaea34ae (plain)


IrreflexiveRelation ? (\x,y -> exportPartner x y)

IrreflexiveRelation ? (\x,y -> importPartner x y)