philzook58/wp-lens

Concolic Weakest Precondition as a Lens ¯\_(ツ)_/¯

语言：Haskell · GitHub 星标：3 · Fork：0

话题：lens · silly · weakest-preconditions

在 GitHub 上查看原仓库