Code

Refactor semantics#17

Code

Draft

TheoWinterhalter wants to merge 7 commits intomainSSProve/ssprove:mainfrom decategorifySSProve/ssprove:decategorifyCopy head branch name to clipboard

+671-54

Commits

Commits on Mar 15, 2022

• Direct style definition of state+prob spec monad

  

  kyoDralliam

  authored and

  haselwarter

  committed
  5f637d2

  Copy full SHA for 5f637d2

• quick cleanup/comments

  

  kyoDralliam

  authored and

  haselwarter

  committed
  4f3764c

  Copy full SHA for 4f3764c

• unary judgement basic rules

  

  kyoDralliam

  authored and

  haselwarter

  committed
  00ba8e2

  Copy full SHA for 00ba8e2

• setting up a relational judgement

  

  kyoDralliam

  authored and

  haselwarter

  committed
  5d35322

  Copy full SHA for 5d35322

• Begin pass on new semantic files

  

  TheoWinterhalter

  authored and

  haselwarter

  committed
  47f4f7a

  Copy full SHA for 47f4f7a

• unary/binary judgements defined directly on raw code

  

  kyoDralliam

  authored and

  haselwarter

  committed
  bd874bc

  Copy full SHA for bd874bc

• move interpretation of operations to a typeclass,

  Show description for a2ee83f
  

  kyoDralliam

  authored and

  haselwarter

  committed
  a2ee83f

  Copy full SHA for a2ee83f