Samin Ishtiaq

Not urgent for Milestone 1.

ah ok. I can help with the laziness: if you file tickets here outlining what's to be done, I can pick up some of them. (And easy to do when...

> The problem...'s with TLC. TLC's .cfg format can't accept anything besides basics numbers and sets. Is there an issue on the TLC repo about this? Seems like what the...

Out of curiousity: which tar should opam be using, then?

@msprotz That means I can't have a Windows machine with "Git for Windows" on it? (VS recommends installing it!)