5 lines
231 B
Text
5 lines
231 B
Text
import io.Source
|
|
|
|
case Source.fromURL( 'http://tycho.usno.navy.mil/cgi-bin/timer.pl', 'UTF-8' ).getLines().find( ('Eastern' in) ) of
|
|
Some( time ) -> println( time.substring(4) )
|
|
None -> error( 'Easter time not found' )
|