Pages: [1]

Author Topic: The future is DEPENDENT TYPES; don't try to fight it  (Read 548 times)

0 Members and 1 Guest are viewing this topic.

recursivelyenumerable

  • you might think that; I couldn't possibly comment
  • Senior Member
The future is DEPENDENT TYPES; don't try to fight it
« on: August 20, 2009, 03:35:45 PM »
Learn to stop worrying and love compiler nontermination.
Logged
QED

Reb

  • Hon. Mr. Tired
  • Senior Member
Re: The future is DEPENDENT TYPES; don't try to fight it
« Reply #1 on: August 20, 2009, 03:39:18 PM »
yes!
Logged
brb
Pages: [1]