 Kartik Agaram
|
71474f7cd3
license
|
2 年之前 |
|
Kartik Agaram
|
3a8f345ca0
work around sr.ht
|
5 年之前 |
|
Kartik Agaram
|
ee74abba50
decouple from basic-build repo
|
5 年之前 |
|
Kartik Agaram
|
3f7f56ed9d
move master repo to sr.ht
|
5 年之前 |
|
Kartik Agaram
|
3b68de057a
support running a single test
|
6 年之前 |
|
Kartik Agaram
|
abc064829b
extract a helper
|
6 年之前 |
|
Kartik K. Agaram
|
9aa0e64fa0
don't make readers think of Prolog the language
|
7 年之前 |
|
Kartik K. Agaram
|
ed26f4e5d1
.
|
7 年之前 |
|
Kartik K. Agaram
|
7adc0e41c4
settle on a public location for the repo
|
7 年之前 |
|
Kartik K. Agaram
|
04222ab504
flesh out the Readme
|
7 年之前 |
|
Kartik K. Agaram
|
77cd533415
some cleanup and simplification
|
7 年之前 |
|
Kartik K. Agaram
|
cda4add83f
drop CHECK_EQ since C can't overload '=='
|
7 年之前 |
|
Kartik K. Agaram
|
5651ae617d
Initial commit.
|
7 年之前 |
