Home / Input Output / plutus-metatheory
Insights Pull Requests
3 commits this week Feb 10, 2019 - Feb 17, 2019
jmchapman · · plutus-metatheory · 209bf726:master

simplified Unif a bit
jmchapman · · plutus-metatheory · 9753371e:master

simplified a case of the completeness logical relation
jmchapman · · plutus-metatheory · 8e7bf7e5:master

type renamings/substitutions are inferrable in the definitions of term renamings/substitutions
Showing 1 to 3 of 3 new commits. Check out Input Output on GitHub to see more.