Implementing a theorem prover for modal logics based on labelled tableaux.
Monday, July 25, 2005
Generality for its own sake
System.Console.GetOpt is a Haskell port of the GNU getopt library (which is almost impossible to find, unless they mean getopt(3) in glibc). In spite of being written in Haskell, the awfulness of getopt shines through.
No comments:
Post a Comment