Skip to content

Commit

Permalink
Update development-status.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@TentativeConvert
TentativeConvert authored Oct 1, 2024
1 parent d520227 commit b1d9e38
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion development-status.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@
| Cantor | == | ++ | + | + | + | | +++ | |
| Robotswana | == | ++ | + | update (L05) | update | | +++ | |
| SetTheory | Synolos | TODO | | | | | | TODO: use set of primes in examples; introduce Finite; new Boss: set of primes is infinite |
| Prime | TODO | + | TODO | TODO | TODO | | TODO | (introduce ∃!) TODO: Boss: only even prime is 2 |
| Prime | Atomos | + | TODO | TODO | TODO | | TODO | (introduce ∃!) TODO: Boss: only even prime is 2 |
| GoodByePlanet | Ciao | (done) | (done) | (done) | TODO | | +++ | |
| | | | | | | | | |
| **Version 2.0:** | | | | | | | | |
Expand Down

0 comments on commit b1d9e38

Please sign in to comment.