necauqua

let JSON =
      https://prelude.dhall-lang.org/JSON/package.dhall
        sha256:5f98b7722fd13509ef448b075e02b9ff98312ae7a406cf53ed25012dbc9990ac

let Expr/Type
    : Type
    = ∀(Expr : Type) →
      ∀ ( expr
        : { ref : Natural → Expr
          , get : Expr → Natural → Expr

necauqua

Keybase proof

I hereby claim:

• I am necauqua on github.
• I am necauqua (https://keybase.io/necauqua) on keybase.
• I have a public key ASCA-0vC6HWgsko4PBWenkAcCz8v7dI3FS3yaZY3S-8h6Qo

To claim this, I am signing this object:

necauqua

local layout = require 'awful.widget.keyboardlayout'
local menubar = require 'menubar'

local kbdlayout = {
    globally_preferred = 'us',
    menubar_preferred = 'us',
}

local function get_idx_by_name(name)

necauqua

extern crate proc_macro;

use quote::quote;
use proc_macro::TokenStream;

// this macro is dumb in a lot of ways, this is just a prototype
#[proc_macro_attribute]
pub fn java(attr: TokenStream, item: TokenStream) -> TokenStream {
    let mut name = String::new();
    name += "Java_";