THE BORE
General => The Superdeep Borehole => Topic started by: recursivelyenumerable on August 20, 2009, 03:35:45 PM
Title:
The future is DEPENDENT TYPES; don't try to fight it
Post by:
recursivelyenumerable
on
August 20, 2009, 03:35:45 PM
Learn to stop worrying and love compiler nontermination.
Title:
Re: The future is DEPENDENT TYPES; don't try to fight it
Post by:
Reb
on
August 20, 2009, 03:39:18 PM
yes!