7 Commits

Author	SHA1	Message	Date
Kei Hibino	44aa092e1a	proto: triple with primary key constraint.	2017-04-22 14:50:16 +09:00
Kei Hibino	91fd0abd4b	proto: add requirement of Pi to bind table and sequence.	2017-04-22 14:38:16 +09:00
Kei Hibino	ee0e38a42b	proto: drop pool' and export unsafes.	2017-04-13 19:17:38 +09:00
Kei Hibino	60dde51a52	proto: rename locally.	2017-04-12 21:23:13 +09:00
Kei Hibino	1ae555da3c	proto: flip.	2017-04-11 16:40:15 +09:00
Kei Hibino	0414dfd733	proto: drop redundant qualifiers.	2017-04-10 18:10:37 +09:00
Kei Hibino	e93a326739	add prototype codes of sequence typing.	2017-04-10 17:48:07 +09:00