Initial commit.

This commit is contained in:
2016-02-18 14:53:30 +01:00
commit 8e93ca7a95
2215 changed files with 341269 additions and 0 deletions

View File

@@ -0,0 +1,8 @@
# name: deftype
# key: deft
# --
(deftype
^{"$1"}$>
$2$>
[$3]$>
$0)$>