Leni Aniva
|
86dc7f289e
|
Add IO monad example
|
2024-03-10 08:47:25 -07:00 |
Leni Aniva
|
66dbf9ba3e
|
Merge branch 'data-structures'
|
2024-03-09 16:00:01 -08:00 |
Leni Aniva
|
6e1af2794d
|
Tidying up the code
|
2024-03-09 15:59:00 -08:00 |
Leni Aniva
|
9714c61934
|
Rephrase error message
|
2024-03-07 21:48:16 -08:00 |
Leni Aniva
|
01a51b4e08
|
Add structure and inductive examples
|
2024-03-07 21:37:37 -08:00 |
Leni Aniva
|
1f8807a809
|
Add usage and code cleanup
|
2024-03-07 00:20:02 -08:00 |
Leni Aniva
|
e0e293efc9
|
Code cleanup
|
2024-03-06 14:37:56 -08:00 |
Leni Aniva
|
a7aa5ba22e
|
Fix linker error on linux
|
2024-03-06 14:09:31 -08:00 |
Leni Aniva
|
4acebb508f
|
Add bindgen hook; code cleanup
|
2024-03-06 13:07:54 -08:00 |
Leni Aniva
|
c0f00af744
|
Use stable rust. Fix `build.rs` bugs
|
2024-03-05 16:39:33 -08:00 |
Leni Aniva
|
c79205252e
|
Remove extraneous libc dependency
|
2024-03-05 16:01:06 -08:00 |
Leni Aniva
|
a4a96bce61
|
Add full calling example
|
2024-03-05 15:57:48 -08:00 |
Leni Aniva
|
5d1f76c332
|
Add rust (caller) side entry point
|
2024-03-05 14:00:04 -08:00 |
Leni Aniva
|
b53d26b7ec
|
Stub
|
2024-03-04 21:08:55 -08:00 |