You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
"When you load a contract with some name, it would make sense to immediately query :l contractname.aes, because it's not obvious that it's necessary in order to put the contract in the scope (this separation makes sense with more contracts around, but not with a single one)"
as discussed with @radrow it would make sense for the repl channel to have a command to do both at the same time to streamline operation
The text was updated successfully, but these errors were encountered:
"When you load a contract with some name, it would make sense to immediately query :l contractname.aes, because it's not obvious that it's necessary in order to put the contract in the scope (this separation makes sense with more contracts around, but not with a single one)"
as discussed with @radrow it would make sense for the repl channel to have a command to do both at the same time to streamline operation
The text was updated successfully, but these errors were encountered: