changeset 14:0d896bcc1061

*** empty log message ***
author kono
date Sat, 20 Jan 2001 20:47:00 +0900
parents d2aa6137e9a9
children 816425e04ea7
files ex.pl problems
diffstat 2 files changed, 13 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/ex.pl	Sat Jan 20 18:14:58 2001 +0900
+++ b/ex.pl	Sat Jan 20 20:47:00 2001 +0900
@@ -253,4 +253,12 @@
       st(ns0)
       )) :- ensure_loaded(kiss_ex).
 
+% Infinite Interval
+
+ex(400,infinite).
+ex(401,*infinite).
+ex(402,*skip).
+ex(403,*length(5)).
+ex(403,~('<>'(empty))).
+
 /* end */
--- a/problems	Sat Jan 20 18:14:58 2001 +0900
+++ b/problems	Sat Jan 20 20:47:00 2001 +0900
@@ -1,3 +1,8 @@
+Sat Jan 20 18:16:33 JST 2001
+
+とりあえず、more_only は、more にいくものが何かあれば許すと言うことに
+しました。
+
 Sat Jan 20 03:38:14 JST 2001
 
 demo(15) の infinite が止まらない。loop detection の計算量が