Jacques Carette
Jacques Carette
All of this stuff really needs a much deeper rethink. Tweaking this a little bit is not likely to give us enough gain to be worth it. If we're going...
It's certainly not a 2-3 day implementation job! But it might be reasonable nevertheless. It might be worth looking at the various things I linked to get a better idea...
This seems to intersect with what @tingyuw was talking about this morning, and where @smiths was suggesting some name changes to get around double-superscripts (where here it's double-subscripts). We really...
Note that we *should* add some cleverness to the printing code (there is already some in there). For example, if we're doing a superscript of a +, we should put...
Yes, it would be nice to at least identify if there are other such occurrences and make issues.
I'm assigning @Awurama-N , but I'm expecting that this is going to be more a June issue than a May issue, as it requires more learning about what Drasil is...
First, make sure to read: 1. [the position paper ](https://github.com/JacquesCarette/Drasil/blob/master/People/Dan/ICSE%20Workshop%20-%20SE4Science/ICSE_LiterateFrameworkForSCSoftware_LSS.pdf) 2. on the whitePaperOnDrasil branch, in Papers/WP_GenerateEverything, the draft paper that's there (you'll have to latex it) Second, this is...
Thanks, we'll fix at least the parts outside Experiments that we want to keep!
http://www.pps.univ-paris-diderot.fr/%7Esaurin/Enseignement/LMFI/articles/Martin-Lof83.pdf