Skip to content

Instantly share code, notes, and snippets.

@yam6da
yam6da / affine_plane.als
Created October 14, 2011 18:21
Alloyでアフィン平面を作ってみた
// 2011/10/14 Fri 21:45
// 2011/10/15 Sat 03:04
module AffinePlane
// 点
sig Point {}
// 直線
sig Line {
pts : some Point
}{