search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

Develop #2317

Closed cos closed 6 years ago

ehildenb commented 6 years ago

Can we separate this into several feature branches? I'm not sure all about what's going into it, but it seems to have a mix of plutus related stuff and skala related stuff. @cos @ayberkt @msaxena2

ehildenb commented 6 years ago

@msaxena2 reminder to split this into multiple PRs and rebase on master.

ehildenb commented 6 years ago

@msaxena2 please delete this branch once you're convinced that branch plutus-lang doesn't lose any information from it.