Difference between revisions of "User:Cetinsert"

From HaskellWiki
Jump to navigation Jump to search
 
Line 1: Line 1:
  +
== Projects ==
⚫
[http://corsis.de/contact/ Contact Cetin Sert]
  
  +
* [http://okitsune.sourceforge.net okitsune] self-study project for automated reasoning
  +
  +
== User ==
  +
* [http://corsis.blogspot.com blog]
  ⚫
* [http://corsis.de/contact/index2.html contact]

Revision as of 16:26, 12 March 2008

Projects

  • okitsune self-study project for automated reasoning

User

Retrieved from "https://wiki.haskell.org/index.php?title=User:Cetinsert&oldid=19802"