andreasfi

# >>> Canonical Redirect (HTTPS + WWW)
<IfModule mod_rewrite.c>
    RewriteEngine On

    # Allow Let's Encrypt validation
    RewriteRule ^\.well-known/acme-challenge/ - [L]

    # Force canonical HTTPS + WWW domain
    RewriteCond %{HTTP_HOST} !^www\.example\.ch$ [NC,OR]
    RewriteCond %{HTTPS} !=on

andreasfi

'image' => 'required|image|mimes:jpeg,png,jpg,gif,svg|max:2048',

andreasfi

// Atleast one uppercase, one lowercase and one number
regex:/^(?=.*[a-z])(?=.*[A-Z])(?=.*\d).+$/

andreasfi

Generator
  empty:->stack
  push:stack,E->stack
Operations
 size:stack->E
 pop:stack->stack
 top:stack->E
Axioms
  size(empty) = 0
  size(push(s,e)) = succ(size(s))

andreasfi

generator 
  empty:->list
  append: list, natural ->list
Operations
  size: list->natural
  nth: list, natural ->list
Axioms
size(empty) = 0
size(append(l,n)) = size(l)+1
nth(append(l,n),0) = 0

andreasfi

for key, value in pairs(petrinet.transitions.t1.arcs) do
  print (key, value.source.name, value.weight, petrinet.transitions.t1.name)
end

andreasfi

local petrinet = {
  places = {"p1","p2","p3"},
  transitions = {"t"},
  flow = {
    -- places, transitions, weight
    { places[0], transitions[0],2 },
    { places[1], transitions[0],1 },
    { places[2], transitions[0],2 },
  }
}