Windows .Net developer who likes Java, Linux and C++ too

Develop with pleasure is important.

Thursday, August 10, 2017

Preposterous! Egregious!: Dependently-Typed Functions 

Links

• My public Google Notebooks
• My Mobile Blog with pictures of Szeged, etc
• -----------
• http://on-agile.blogspot.com/
• -----------
• Free Beta version
• See why it is so good
• -----------
• Google AddSense Program Szabályzat

archives

• 04/01/2004 - 05/01/2004
• 09/01/2004 - 10/01/2004
• 11/01/2004 - 12/01/2004
• 11/01/2005 - 12/01/2005
• 05/01/2007 - 06/01/2007
• 06/01/2007 - 07/01/2007
• 01/01/2008 - 02/01/2008
• 12/01/2015 - 01/01/2016
• 08/01/2017 - 09/01/2017