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 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 TheoremQuest.
Dunno.
On Feb 28, 7:59 pm, Tom Hawkins 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 population of gamers
