search

Noleli / trop-analysis

7 stars 9 forks source link

Color code trop #3

Open Noleli opened 8 years ago

Noleli commented 8 years ago

It'd be cool to color code conjunctive and disjunctive.