Remove TODO and clean ChangeLog

ChangeLog.md

@@ -1,88 +1,3 @@
-1.0.0 [202x.xx.xx]
-------------------
-
-The first stable. It will be a product that I expect other people to use for
-important projects, therefore backwards compatibility will be important. The
-whole system needs extensive testing in real applications. Much of this will be
-done in the development of the core libraries. We will also need to add
-handling for several very different languages (proofs-of-concept).
-
- - [ ] semantic types - test in bioinformatics applications
- - [ ] manifold hooks - caching, documentation, logging, effects
- - [ ] logic engine (z3?) - from typechecking to architecture design and debugging
- - [ ] ecosystem (test suite, linter, package tools, vim plugin)
- - [ ] language support (Python3, R, C++, Java, Haskell, Scheme, Prolog)
- - [ ] well tested core libraries
- - [ ] Replace recursive data structures with recursion schemes
-
-0.4x.0 [2024.xx.xx]
--------------------
-
- Ecosystem
- - [ ] `morloc uninstall <module>`
- - [ ] `morloc lint`
- - [ ] `morloc test`
- - [ ] `morloc benchmark`
- - [ ] `morloc check`
-          * check package setup
-          * check morloc version
-          * check existence of all modules
-          * check existence of required files 
- - [ ] `morloc format` - automatically format all morloc files (like `black` for python)
- - [ ] `morloc make`
-          - [ ] `--dag` - Generate function DAG, entrance counts, and benchmarks
-          - [ ] `--cache` - Generate caching code
-          - [ ] `--check-constraints` - Toggle whether to perform runtime constraint checks
-          - [ ] `--debug` - Generate debugging code in manifolds
-          - [ ] `--docs` - Generate doxygen style documentation (maybe using LLMs)
- - [ ] `morloc ai`
-          - [ ] `--make-src` - Given a morloc file, generate source code where needed
-          - [ ] `--make-sig` - Given a source file and export list, generate signatures
-          - [ ] `--make-loc` - Given a prompt, generate a morloc program
-          - [ ] `--make-doc` - Given a morloc program, generate/update documentation
-          - [ ] `--make-com` - Given a morloc program, generate internal comments 
-          - [ ] `--check` - Given a morloc package, comment on general issues
-          - [ ] `--config` - Configure your AI
- - [ ] `morloc init` - create a new morloc repo, optionally from a prompt
- - [ ] `morloc list` - list modules, optionally with exports and signatures
-
- Typesystem
- - [ ] algebraic types
- - [ ] pattern matching
- - [ ] runtime constraint checking
- - [ ] effect checking
- - [ ] extensible records
-
- Language support
- - [ ] add Haskell support
- - [ ] add Futhark support
- - [ ] add Rust support
- - [ ] allow ABI (required for Futhark)
-
- Styles
- - [ ] add styles
- - [ ] test C++ functions with `const` and pass-by-reference
- - [ ] test mutation in python and C++ functions 
- - [ ] test keyword and argument reordering in python and R
-
- Module sugar
- - [ ] Add `import Foo hiding (...)` syntax
- - [ ] Allow module namespaces (e.g., `alice:math.complex`)
-
- And a bit of cleaning
- - [ ] generate commented type expressions in the pool code 
- - [ ] Bring back the cut operation to the bidirectional typechecker
-       The current approach depends on renaming every term, which is ugly and
-       also clutters the diagnostics (gamma gets huge)
- - [ ] Add error if undefined functions are used in a composition
-       [ ] When typechecking, raise error if they have no type signature
-       [ ] When building, additionally raise error if they have no source (this is already done somewhere down the line)
- - [ ] Fix the performance bug (8 million lines of log is way too much)
-       This is probably related to removal of the cut step in the typechecker
- - [ ] Replace JSON serialization
- - [ ] Update Hackage release
-
-
 0.48.0 [2024-04-03]
 -------------------