|
|
04070a934e
|
give more expressive names to main functions
This bash function was helpful:
function replace(){
grep "$1" -rl .
grep "$1" -rl . | xargs sed -i "s/$1/$2/g";
}
|
2023-07-22 19:21:20 +02:00 |
|
|
|
17ba9488a4
|
Update readme, small tweaks
|
2023-07-16 23:33:46 +02:00 |
|
|
|
11e965be4f
|
rename sampler functions, elaborate on README, etc.
|
2023-07-16 22:32:03 +02:00 |
|
|
|
ea80c930e6
|
reduce num samples, start README
|
2023-07-16 21:52:24 +02:00 |
|
|
|
f5af776eb3
|
formatting pass.
|
2023-07-16 21:37:43 +02:00 |
|
|
|
7a2015e3e0
|
divide simple and complex examples into two different examples.
|
2023-07-16 21:32:17 +02:00 |
|
