anthonyquizon

anthonyquizon

import std.stdio;                                                                                                                          
import std.uni;                                                                                                                            
import std.conv; 
///Taken from https://github.com/dlang/dmd/blob/0517fc93ceb9e74e979bbbc9de64eb64d610094c/src/dmd/utf.d
static immutable wchar[2][] ALPHA_TABLE =
    [
        [0x00AA, 0x00AA],
        [0x00B5, 0x00B5],
        [0x00B7, 0x00B7],
        [0x00BA, 0x00BA],

anthonyquizon

Reading

Title	Author(s)	Year
Intuitionistic Type Theory	Per Martin-Löf	1984
On the Meanings of the Logical Constants and the Justification of the Logical Laws	Per Martin-Löf	1996
[[http://mat.uab.cat/~kock/crm/h

anthonyquizon

const PORT = 8008;

interface APIInterface {
    @safe:
    string postMatches();

    string get();
}

class APIHandlers : APIInterface {

anthonyquizon

(use-modules (web client)
             (web response)
             ((rnrs) :version (6)))

(define port "8000")
(define body "{\"foo\": \"xyx\"}"  )

;; GOTCHAs
;; Body needs to be converted from string to utf8 and back again
;; Need to destructure response with let-values in order to get body string

anthonyquizon

// db.zig
const std = @import("std");
const warn = std.debug.warn;
const Allocator = std.mem.Allocator;
const util = @import("../util.zig");

const c = @cImport({
    @cInclude("lmdb.h");
});

anthonyquizon

#lang racket

(require racket/trace)

(define (example)
  (error a b c))
  
(trace example)

anthonyquizon

#lang racket                                                                                                                                                                                                       
                                                                                                                                                                                                                   
(require web-server/servlet-env                                                                                                                                                                                    
         web-server/http                                                                                                                                                                                           
         web-server/dispatchers/dispatch)