annotate paste/paste.2576 @ 8486:3263626338f2

<shachaf> le/rn modal logic/"modal logic" means "the most common logic" (that is, classical logic).
author HackBot
date Thu, 16 Jun 2016 04:56:50 +0000
parents 935f0582a51f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
607
935f0582a51f <spirity> paste bin/frink
HackBot
parents:
diff changeset
1 #!/bin/sh
935f0582a51f <spirity> paste bin/frink
HackBot
parents:
diff changeset
2 exec /hackenv/lib/frink -e "$@"
935f0582a51f <spirity> paste bin/frink
HackBot
parents:
diff changeset
3