Doug Coleman
|
e4579d02e7
|
units: Add exponentiation operator and a d-cube.
|
2019-01-05 14:37:00 -06:00 |
John Benediktsson
|
0f1d08a372
|
using map-reduce instead of unclip reduce.
|
2017-02-07 12:16:12 -08:00 |
|
John Benediktsson
|
ceb75057da
|
change ERROR: words from throw-foo back to foo.
|
2015-08-13 16:13:05 -07:00 |
|
Doug Coleman
|
66147f27b4
|
extra: use throw-foo for ERROR: change
|
2015-08-13 01:56:32 -07:00 |
|
Doug Coleman
|
b5d7399060
|
units: Use ERROR: for dimensions-not-equal.
|
2013-03-24 10:11:16 -07:00 |
|
John Benediktsson
|
4e72d80256
|
Using "same?" in more places.
|
2012-07-21 10:22:44 -07:00 |
Slava Pestov
|
0612bc6177
|
Factor source files should not be executable
|
2009-11-21 17:50:43 -06:00 |
Joe Groff
|
6c48852fb0
|
eliminate most spins from extra
|
2009-11-05 15:34:31 -06:00 |
|
Doug Coleman
|
8887fbaa52
|
remove >r r>
|
2008-12-14 00:41:30 -06:00 |
|
Doug Coleman
|
ad890e8a31
|
if-empty changes
|
2008-09-06 17:15:25 -05:00 |
|
Slava Pestov
|
aea0fed14c
|
Fixing basis -> extra dependencies
|
2008-09-05 19:29:14 -05:00 |
|
Slava Pestov
|
d66f887736
|
Create basis vocab root
|
2008-07-28 22:03:13 -05:00 |
|
Slava Pestov
|
537269447c
|
Move mirrors out of the boot image
|
2008-07-02 00:20:01 -05:00 |
|
Slava Pestov
|
ba8f1388ab
|
Fixing everything for mandatory stack effects
|
2008-06-09 02:14:14 -05:00 |
|
Doug Coleman
|
9140e3e452
|
fix load errors
|
2008-04-14 03:03:49 -05:00 |
|
Doug Coleman
|
f80085ff0a
|
seq-diff -> diff
seq-intersect -> intersect
|
2008-04-13 23:09:42 -05:00 |
|
Doug Coleman
|
72080fda4a
|
construct-boa -> boa
construct-empty -> new
|
2008-04-13 15:06:27 -05:00 |
|
Slava Pestov
|
c22af5c7a6
|
Rename 2apply to bi@
|
2008-03-29 20:36:58 -05:00 |
Daniel Ehrenberg
|
fbdf62bb1c
|
Making [ mpg ] undo work
|
2008-03-29 16:18:46 -04:00 |
Slava Pestov
|
a463e6d9fb
|
Moved seq-intersect to core
|
2008-03-11 03:36:19 -05:00 |
|
Slava Pestov
|
e58cbb2cda
|
: spin swap rot ;
|
2007-12-29 11:36:20 -05:00 |
|
Slava Pestov
|
a96457cecc
|
Initial import
|
2007-09-20 18:09:08 -04:00 |