Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
iris
language.v
Find file
Blame
History
Permalink
show that the langauge we have so far, is an instance (with no atomic expressions...)
· 65e7a75e
Ralf Jung
authored
Jan 05, 2016
65e7a75e