Assignment 1 - Hayden Blauzvern

Based on just your description, I'm not sure that Cryptol would be so far on the side of purely domain-specific. If it has more general functionality, even if it's not optimized for it or if those functions are difficult to use, isn't it more on the general side?
Based on the Cryptol documentation, it seems like Cryptol is best suited to strict cryptographic algorithms. However, it also seems to be able to do basic mathematical computations, even if it doesn't do it in a beautiful or efficient way.