index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gf-book
/
examples
/
chapter9
/
TestSemanticsIta.gf
blob: ce6abfc094803cef7f663e332825b13e429a8017 (
plain
)
1
concrete TestSemanticsIta of TestSemantics = TestIta, SemanticsIta ;