Skip to content

Instantly share code, notes, and snippets.

View torus's full-sized avatar
😎
Focusing

Toru Hisai torus

😎
Focusing
View GitHub Profile
@torus
torus / vcs.als
Created May 13, 2012 09:32 — forked from halcat0x15a/vcs
start alloy
sig Repository {
file: set File
}
fact {
all rep: Repository |
no disj f1, f2: rep.file | f1.path = f2.path
}
;; 第1回 Scheme コードバトン
;;
;; ■ これは何か?
;; Scheme のコードをバトンのように回していき面白い物ができあがるのを楽しむ遊びです。
;; 次回 Shibuya.lisp で成果を発表します。
;; Scheme 初心者のコードを書くきっかけに、中級者には他人のコードを読む機会になればと思います。
;;
;; ■ 2 つのルール
;;
;; (1)自分がこれだと思える変更をコードに加えて2日以内に次の人にまわしてください。
;; 第1回 Scheme コードバトン
;;
;; ■ これは何か?
;; Scheme のコードをバトンのように回していき面白い物ができあがるのを楽しむ遊びです。
;; 次回 Shibuya.lisp で成果を発表します。
;; Scheme 初心者のコードを書くきっかけに、中級者には他人のコードを読む機会になればと思います。
;;
;; ■ 2 つのルール
;;
;; (1)自分がこれだと思える変更をコードに加えて2日以内に次の人にまわしてください。