Sergiu Ivanov
|
991ab94922
|
Add README.
|
2020-12-28 23:01:17 +01:00 |
|
Sergiu Ivanov
|
c8cd64c5df
|
manual: interface to → interface for
|
2020-12-28 22:57:45 +01:00 |
|
Sergiu Ivanov
|
1dde7d6cf9
|
manual: Add Technical details.
|
2020-12-28 22:53:19 +01:00 |
|
Sergiu Ivanov
|
b89fc2d83a
|
Add info.rkt.
|
2020-12-28 22:33:47 +01:00 |
|
Sergiu Ivanov
|
851c708998
|
Add manual.scrbl.
|
2020-12-28 22:33:40 +01:00 |
|
Sergiu Ivanov
|
a952f9968f
|
Add the license.
|
2020-12-27 22:56:59 +01:00 |
|
Sergiu Ivanov
|
2241bf9d20
|
Start the library with the idea of a solution from Alex Knauth.
|
2020-12-27 22:46:49 +01:00 |
|