Spaces:
Sleeping
Sleeping
Commit
·
48c286d
1
Parent(s):
fc971c7
fix(CHANGELOG): reverse the order of CHANGELOG
Browse files
functional_programming/CHANGELOG.md
CHANGED
|
@@ -1,15 +1,5 @@
|
|
| 1 |
# Changelog of the functional-programming course
|
| 2 |
|
| 3 |
-
## 2025-03-11
|
| 4 |
-
|
| 5 |
-
* Demo version of notebook `05_functors.py`
|
| 6 |
-
|
| 7 |
-
## 2025-03-13
|
| 8 |
-
|
| 9 |
-
* `0.1.0` version of notebook `05_functors`
|
| 10 |
-
|
| 11 |
-
Thank [Akshay](https://github.com/akshayka) and [Haleshot](https://github.com/Haleshot) for reviewing
|
| 12 |
-
|
| 13 |
## 2025-03-16
|
| 14 |
|
| 15 |
+ Use uppercased letters for `Generic` types, e.g. `A = TypeVar("A")`
|
|
@@ -34,3 +24,13 @@ Thank [Akshay](https://github.com/akshayka) and [Haleshot](https://github.com/Ha
|
|
| 34 |
- Rename `ListWrapper` to `List` for simplicity
|
| 35 |
- Remove the `Just` class
|
| 36 |
+ Rewrite proofs
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
# Changelog of the functional-programming course
|
| 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 3 |
## 2025-03-16
|
| 4 |
|
| 5 |
+ Use uppercased letters for `Generic` types, e.g. `A = TypeVar("A")`
|
|
|
|
| 24 |
- Rename `ListWrapper` to `List` for simplicity
|
| 25 |
- Remove the `Just` class
|
| 26 |
+ Rewrite proofs
|
| 27 |
+
|
| 28 |
+
## 2025-03-13
|
| 29 |
+
|
| 30 |
+
* `0.1.0` version of notebook `05_functors`
|
| 31 |
+
|
| 32 |
+
Thank [Akshay](https://github.com/akshayka) and [Haleshot](https://github.com/Haleshot) for reviewing
|
| 33 |
+
|
| 34 |
+
## 2025-03-11
|
| 35 |
+
|
| 36 |
+
* Demo version of notebook `05_functors.py`
|