adituv

module Main

import Data.Vect

exists : {k : Type} -> (k -> Type) -> Type
exists t = (b : Type) -> ({a : _} -> t a -> b) -> b

packExists : {k : Type} -> {t : k -> Type} -> {a : k} -> t a -> exists t
packExists x = \b, f => f x

adituv

-- VBA/Bizhawk shim, to allow lua scripts written for VBA-rr to run in BizHawk.
-- Copy and paste this script into the start of a VBA-rr script to make it run in
-- BizHawk with no further modifications.

-- Changes to BizHawk's built-in tables persist while the lua console window is open.
-- Make sure we don't copy our already-updated objects.
if type(joypad.get) == "userdata" then
  bizJoypad = copytable(joypad)
end

adituv

#include <cstdio>
#include <string>
#include <vector>
#include <SDL.h>

void logJoystickEvent(SDL_Event e);
std::string showHatState(Uint8 hat);

int main(int argc, char* argv[]) {
	// Detect first gamepad on which a key is pressed, then log its events.

adituv

Converted from CSV to keyed JSON from https://github.com/viion/ffxiv-datamining/blob/master/csv

TripleTriadCard.json has text data
TripleTriadCardResident.json has functional data

TripleTriadCardType:
1: Primal
2: Scion
3: Beastman
4: Garlean

adituv

{-# LANGUAGE MultiWayIf      #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ViewPatterns    #-}
module Text.Show.Ratio(showMixed, showsMixed, showsPrecMixed) where

import Data.Ratio

-- | Convert a @'Ratio' a@ to a readable string, where the ratio is
--   expressed as a mixed fraction in its simplest form.  `showsPrecMixed`
--   is designed for use as part of another show implementation, and so

adituv

{-# LANGUAGE BangPatterns      #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE TypeFamilies      #-}

module Foundation.Interop.Text where

import           Foundation
import           Foundation.Array
import           Foundation.Bits
import           Foundation.Collection

adituv

{-# LANGUAGE AllowAmbiguousTypes    #-}
{-# LANGUAGE DataKinds              #-}
{-# LANGUAGE FlexibleContexts       #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE KindSignatures         #-}
{-# LANGUAGE MultiParamTypeClasses  #-}
{-# LANGUAGE PolyKinds              #-}
{-# LANGUAGE ScopedTypeVariables    #-}
{-# LANGUAGE TypeApplications       #-}

adituv

module Main

import Data.Vect

toVect : List a -> ( n:Nat ** Vect n a )
toVect Nil = ( 0 ** Nil )
toVect (x :: xs) with (toVect xs)
  | (n ** ys) = ( S n ** x :: ys )

listFromString : String -> List Int

adituv

using System;
using System.Collections.Generic;
using System.IO;

namespace tmp_generate_dbg_pak
{
    class Program
    {
        // Generates a stub "dbg.pak.xen" file from a filename checksum listing
        // One entry per line in the listing, tab separated.  Checksum (no 0x), then the path

adituv

# Path to your oh-my-zsh installation.
  export ZSH=/home/aditu/.oh-my-zsh

# Configuration for Powerline theme

# Hide context when in this user's context
DEFAULT_USER="aditu"
POWERLEVEL9K_MODE='awesome-fontconfig'
POWERLEVEL9K_STATUS_VERBOSE=false