search

gleachkr / Carnap-Old

An interactive proof checker that runs in the browser
http://gleachkr.github.io/Carnap/
GNU General Public License v3.0
3 stars 0 forks source link

JSON for ShowThis URL #38

Open gleachkr opened 8 years ago

gleachkr commented 8 years ago

We should have a standard way of encoding information that we're packing into the url for the ShowThis webapp. Right now, the encoding is make-it-up-as-you-go, which is not optimal.

gleachkr commented 8 years ago

actually, a simpler solution for now is just an adt for the data that a url contains, with derived show and read instances.