Skip to content
GitLab
Explore
Sign in
Iris
Iris
Wiki
style guide
style guide
· Changes
Page history
Update style guide
authored
Nov 24, 2020
by
Ralf Jung
Hide whitespace changes
Inline
Side-by-side
style-guide.md
View page @
50eed3c3
...
...
@@ -134,6 +134,8 @@ t;
|
t3
].
```
**TODO:**
Keep all
`Require`
,
`Import`
and
`Export`
at the top of the file.
## File organization
theories/algebra is for primitive ofe/RA/CMRA constructions
...
...