Renan Vilas Novas
|
3840b6e78f
|
Fix HOL Guidelines
|
2021-06-07 16:53:57 -03:00 |
|
Renan Vilas Novas
|
0b331ee8a1
|
Fix HOL Guidelines
|
2021-06-07 16:53:01 -03:00 |
|
Renan Vilas Novas
|
0540bc1c99
|
HOL Guidelines
|
2021-06-07 16:51:09 -03:00 |
|
Renan Vilas Novas
|
fae9c6538f
|
Deleted old exercises description
|
2021-06-07 16:12:49 -03:00 |
|
Renan Vilas Novas
|
47bbd4cd7b
|
Updated exercise owners
|
2021-06-07 15:42:52 -03:00 |
|
Renan Vilas Novas
|
00c60416ae
|
Initial HOL description
|
2021-05-17 15:26:27 -03:00 |
|
Renan Vilas Novas
|
7228a991ee
|
Initial HOL docs
|
2021-05-17 15:09:24 -03:00 |
|
Renan Vilas Novas
|
34d61e8b65
|
Initial HOL description
|
2021-05-17 14:28:49 -03:00 |
Renan Vilas Novas
|
f08e04e0de
|
Added README.md
|
2021-05-17 17:14:58 +00:00 |