issues
search
des105f16
/
Editor
0
stars
0
forks
source link
Upper/Lower bounds
#4
Closed
deaddog
closed
8 years ago
deaddog
commented
8 years ago
[x] Replace the principals
_
and
*
with policies
_
and
^
in the grammar
[x] Update the usage of principals -> policies
_
and*
with policies_
and^
in the grammar