This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#begin_lua function min(a,b) return math.min(a,b) end #end_lua. | |
%% Adam's minimal event calculus formalism: | |
%% - only true holds/happens are tracked | |
%% - all fluents are always inertial | |
%% - time is a totally ordered contiguous integer sequence | |
%% - events and fluents are self-contained terms | |
%% - T variables always come first for easy sorting | |
initiated(T,F) :- happens(T,E), initiates(T,E,F). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
interface=(INTERFACE HERE) | |
driver=nl80211 | |
ssid=(SSID HERE) | |
hw_mode=a | |
channel=36 | |
country_code=US | |
ignore_broadcast_ssid=0 | |
wpa=2 |