I am not sure what would be the generic names I am asking for...
examples are the nearest I can get.
In perl there is pack/unpack http://perldoc.perl.org/perlpacktut.html
Likewise in python there is struct module
http://docs.python.org/library/struct.html
What is/are the Haskell equivalents?
On Mar 8, 8:20 pm, Tom Hawkins tomahawk...@gmail.com wrote:
I am curious -- how easy is it to use theoremquest for playing with
equational theories?
Let me turn the question around: How easy is it to play with
equational theories in HOL Light? Because this is the planed basis
for
On Feb 28, 7:59 pm, Tom Hawkins tomahawk...@gmail.com wrote:
I have been wanting to gain a better understanding of interactive
theorem proving for some time. And I've often wondered: Can theorem
proving be made into a user-friendly game that could attract mass
appeal? And if so, could a