Re: [Hol-info] Learning HOL Light

Hi Bill, | Can someone explain the point of HOL Light parsers, as in the | reference manual entry for many: There is an approach to writing parsers in functional languages where you can make functional code look almost like an abstract grammar. These HOL Light functions are a pretty simple versi

[Hol-info] ESEC/FSE Tool Demos Track (final CfP)

(Apologies for multiple postings.) > Upcoming submission deadline: 3rd June = ESEC/FSE 2013: Final Call for Tool Demonstrations http://esec-fse.inf.ethz.ch/cfp_tools.html ===