My thanks OVERFLOWS. For those who are 'older but not quite Learn U Agda vs 'wiser strategies' HELPFUL. Think eric raymond and too bad that perl is just another dead language -- your wisdom though as recompense. When…
My thanks OVERFLOWS. For those who are 'older but not quite Learn U Agda vs 'wiser strategies' HELPFUL. Think eric raymond and too bad that perl is just another dead language -- your wisdom though as recompense. When…