issues
search
vikraman
/
2DTypes
Collaborative work on reversible computing
17
stars
1
forks
source link
Typography fixes
#150
Open
vikraman
opened
2 years ago
vikraman
commented
2 years ago
[ ] Remove dangling words
[x] Use uniform style for \cref
[x] Use inline math style for sigma and pi
[ ] No breaks in type signatures
[ ] Use \noindent uniformly
[ ] Move big blobs to figures
[x] Align semantics definition using array