Skip to content

Instantly share code, notes, and snippets.

@pandaman64

pandaman64/propagators.md

Last active March 20, 2020 06:37
Show Gist options
  • Save pandaman64/2620c764f36981c6815fba8adaaa5f89 to your computer and use it in GitHub Desktop.
Save pandaman64/2620c764f36981c6815fba8adaaa5f89 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
propagators.md

Propagators

👀The Art of the Propagator

  • Schemeかー
  • bottomが無情報，topが矛盾なjoin semi-latticeと読めばよさそう
    • ekmett的
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment