bin/hilbert in hilbert-0.0.2700100 vs bin/hilbert in hilbert-0.0.2700110

- old
+ new

@@ -9,9 +9,16 @@ require 'hilbert/iq' # TODO: There are vanch of todo .. case ARGV.first when '-i' + if ARGV[1] == '-zfc' + Hilbert::Iq.execute('postulate zfc_analysis') + print %|Hi guys, your postulating zfc_analysis is success. :) \n\n| + else + print %|Hi guys,thank you for using Hilbert.\nYou need to execute "postulate zfc_analysis" if you wanna do real analysis.\n\n| + end + loop do print 'Enjoy! -> ' begin input = $stdin.gets output = Hilbert::Iq.execute(input)