naesten 2015-06-20 at 11:17 I find the fact that Agda’s curve intercepts the X axis a bit puzzling ðŸ˜‰ Reply ↓

naestenI find the fact that Agda’s curve intercepts the X axis a bit puzzling ðŸ˜‰