mmn80

module CPP

import System

%language ElabReflection
%language TypeProviders

export
testFn : Int -> String
testFn x = "testFn: " ++ show x

mmn80

module Record

%default total
%language ElabReflection

Name : Type
Name = String

data Field : Name -> Type where
  Fld : (n : Name) -> Field n

mmn80

Keybase proof

I hereby claim:

• I am mmn80 on github.
• I am mmn80 (https://keybase.io/mmn80) on keybase.
• I have a public key ASC5tlFZ4oByh769CNr1zkeE5zsqtPNBAv9Pow4V2s-ykAo

To claim this, I am signing this object:

mmn80

#include <libudev.h>
#define MAX_KBD_DEVICES 10

const char** detect_kbd_devices()
{
  const char **devnodes = calloc(MAX_KBD_DEVICES, sizeof(char*));
  struct udev *udev;
  struct udev_enumerate *enumerate;
  struct udev_list_entry *devices, *dev_list_entry;
  struct udev_device *dev;