mjyc

metadata:
  name: Office room lights - day
  description: Scripted automation

automations:
  starters:
    - type: time.schedule
      at: 10:00:00 AM
    - type: time.schedule
      at: 11:00:00 AM

mjyc

vim $(grep -lR "$(sk --ansi -i -c 'grep -lER "{}" .issues/issues/ | grep -v tags | grep -v comments | xargs head -q -n 1')" .issues/issues/)

mjyc

{
  "$schema": "https://vega.github.io/schema/vega-lite/v4.json",
  "data": {"values": [{"question":"Q1","rating":4,"iter":0},{"question":"Q2","rating":2,"iter":0},{"question":"Q3","rating":2,"iter":0},{"question":"Q1","rating":3,"iter":1},{"question":"Q2","rating":3,"iter":1},{"question":"Q3","rating":4,"iter":1},{"question":"Q1","rating":3,"iter":2},{"question":"Q2","rating":3,"iter":2},{"question":"Q3","rating":4,"iter":2},{"question":"Q1","rating":1,"iter":3},{"question":"Q2","rating":4,"iter":3},{"question":"Q3","rating":5,"iter":3},{"question":"Q1","rating":5,"iter":0},{"question":"Q2","rating":2,"iter":0},{"question":"Q3","rating":1,"iter":0},{"question":"Q1","rating":4,"iter":1},{"question":"Q2","rating":2,"iter":1},{"question":"Q3","rating":3,"iter":1},{"question":"Q1","rating":4,"iter":2},{"question":"Q2","rating":3,"iter":2},{"question":"Q3","rating":3,"iter":2},{"question":"Q1","rating":3,"iter":3},{"question":"Q2","rating":4,"iter":3},{"question":"Q3","rating":4,"iter":3},{"question":"Q1","rating

mjyc

#lang rosette

(require
  rosette/lib/lift
  (prefix-in racket/ (only-in racket assv))
  rosette/lib/angelic
  rosette/lib/synthax
  )

;; Define FSM