d6
/
modal
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added postcard example

This commit is contained in:
Devine Lu Linvega 2024-04-19 11:10:37 -07:00
parent bc3165d7e6
commit 6f89fb02bc
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
examples/shirt.modal Normal file
View File

@ -0,0 +1,9 @@
<> (what is ?x) (is ?x a (programming language))
<> (is ?x a ?y) (or, is ?x (a virtual machine))
<> (or, is ?x ?y) (?x is ?y <> ?y (a meta-language))
<> ((a meta-language)) modal
<> (?x is ?x) (?(?: ?:) ?x)
what is modal