Playing with arrows
Things I want to do:
- Escape shell so we can pass strings containing $
- Set of includes / modules ("Preload"?) - even a library to preload before everything?
- Pure / Monadic computation primitive classes? Like (HSLamb p a b)?
- See if we can pass interact as a lifting fn
- Support C/C++ (will require JSON support in a library)
- Separate stdio for tcc -run
- Use Category instance instead of (.) in HSLamb
- Why does PHP need an arg to destroy? Arg lists.
- Random function tests
- Tests "is correct" -> "is isomorphic to" when appropriate
- Faster tests! More parallelisation?
- Allow Nix to test using external tools
Notes:
- Using <> instead of S.union