GitHub/gf-core
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-11-04 03:15:26 -07:00
Code Issues Packages Projects Releases Wiki Activity
Files
a0e972ab69516a83444490111896a22add0869d5
gf-core/examples/SUMO/axioms/engineeringHiO.gft
T
krasimir 6690fbaf6c SUMO axioms
2010-02-17 11:12:43 +00:00

3 lines
56 B
Plaintext
Raw Blame History

PartialOrderingRelation ? (\x,y -> abstractPart x y)
Reference in new issue View Git Blame Copy Permalink