Refactor semantics#17

Draft

TheoWinterhalter wants to merge 7 commits intomainfrom

Commits on Mar 15, 2022

Direct style definition of state+prob spec monad

kyoDralliam
authored and
haselwarter
committed
quick cleanup/comments

kyoDralliam
authored and
haselwarter
committed
unary judgement basic rules

kyoDralliam
authored and
haselwarter
committed
setting up a relational judgement

kyoDralliam
authored and
haselwarter
committed
Begin pass on new semantic files

TheoWinterhalter
authored and
haselwarter
committed
unary/binary judgements defined directly on raw code

kyoDralliam
authored and
haselwarter
committed
move interpretation of operations to a typeclass,

kyoDralliam
authored and
haselwarter
committed