On Monday, 23 March 2015 09:06:28 UTC, John Cremona wrote: > > I thought that 1 April was traditionally the day we propose rewriting > all of Sage in lisp? > > This time I'd like to propose to rewrite Sage in coq. Certainly, just the fact that it would provide proofs of correctness of all algorithms implemented, can justify the undertaking...
Dima > John > > On 22 March 2015 at 23:00, Volker Braun <[email protected] <javascript:>> > wrote: > > Of course we include ECL so thats yet another way to run Lisp ;-) > > > > > > On Sunday, March 22, 2015 at 11:33:08 PM UTC+1, Dima Pasechnik wrote: > >> > >> There is a great way to contribute to core Sage, which is written in a > >> language not everyone is apparently keen on... > >> > >> Namely, one can do it in Lisp: > >> http://docs.hylang.org/en/latest/# > >> (more precisely, in a Lisp dialect running on top of Python) > >> > >> > >> > > -- > > You received this message because you are subscribed to the Google > Groups > > "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to [email protected] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
