Commit Graph

10 Commits (revert-2214-feature-commandline-documentation)

Author SHA1 Message Date
John Benediktsson bd9676e152 core/basis/extra: use none?. 2018-02-14 11:56:31 -08:00
Doug Coleman e189954ecc core: Rename iota to <iota> so we can have TUPLE: iota ... ; instead of TUPLE: iota-tuple ... ; 2017-06-02 11:57:05 -05:00
John Benediktsson 1aa27963d2 math.primes.miller-rabin: actually, this is better. 2014-12-04 19:48:32 -08:00
John Benediktsson 9d4336d774 math.primes.miller-rabin: minor cleanup; 2014-12-04 19:46:30 -08:00
Slava Pestov df4fb4a3ee Removing integers-as-sequences 2010-01-15 07:15:33 +13:00
Slava Pestov 0612bc6177 Factor source files should not be executable 2009-11-21 17:50:43 -06:00
Joe Groff 6e1bffb1c5 update existing code to use :> ( ) when possible 2009-10-28 16:11:33 -05:00
Doug Coleman 8f51f87a8f more docs for math.primes, move words out of miller-rabin 2009-05-10 13:47:51 -05:00
Doug Coleman 79265b50d9 update usages of miller-rabin 2009-05-10 12:24:43 -05:00
Doug Coleman 6b1f60f550 move math.miller-rabin to math.primes.miller-rabin 2009-05-10 12:24:19 -05:00