RSS feed
5711ab3b
– Ori Bernstein <ori@markovcorp.com>
authored
on 2017/08/23 07:46
Check constraints correctly on typarams.
f363110a
– Ori Bernstein <ori@markovcorp.com>
authored
on 2017/08/23 06:56
Resolve types in match rank.
9f4568a0
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/22 18:47
Clean up usefile cruft.
129d7419
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/22 18:39
Remove dead code/comments.
6d31b85b
– Ori Bernstein <ori@eigenstate.org>
authored
and Ori Bernstein <ori@markovcorp.com>
committed
on 2017/08/21 07:17
The indexes with should be numbers as well as ints
48434f56
– Ori Bernstein <ori@eigenstate.org>
authored
and Ori Bernstein <ori@markovcorp.com>
committed
on 2017/08/21 07:13
Clean up dial+plan9.myr
73e2c5b1
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/20 15:52
Fix a few bugs.
6e4bf0cd
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/20 13:49
Fix trait shit.
dfed30d8
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/19 14:30
File is already global.
bd96cb6a
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/13 21:17
Mbld now generates directories properly.
fd499b39
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/13 18:54
Update bootstrap.
682b8ca1
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/13 18:17
Remove dead debug code.
93021aca
– Ori Bernstein <ori@deb.here>
authored
on 2017/08/13 18:15
Add full Linux support, generated from Linux syscall tables.
137b08b7
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/13 17:21
Types are also equal with flipflopping.
433606f6
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/13 14:17
If a trait is specialized over a generic, it's generic too.
548ce546
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/13 06:20
Give a better error message about incomparable types.
fe0c54bd
– Lucas Gabriel Vuotto <lvuotto92@gmail.com>
authored
and Ori Bernstein <ori@eigenstate.org>
committed
on 2017/08/12 14:52
Fix man paths construction
e1587623
– Ori Bernstein <ori@eigenstate.org>
authored
on 2017/08/08 20:25
Misc cleanups.