wsporto

wsporto / northwind.sql

Created August 20, 2020 23:48 — forked from ryguyrg/northwind.sql

Northwind SQL Script

	# ---------------------------------------------------------------------- #
	# Target DBMS: MySQL 5 #
	# Project name: Northwind #
	# Author: Valon Hoti #
	# Created on: 2010-07-07 20:00 #
	# ---------------------------------------------------------------------- #
	DROP DATABASE IF EXISTS northwind;

	CREATE DATABASE IF NOT EXISTS northwind;

wsporto / hindley-milner.ts

Created July 22, 2020 18:49 — forked from oxyflour/hindley-milner.ts

a typescript implement of hindley-milner type inference

	// a typescript implement of hindley-milner type inference
	// reference http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/

	/// <reference path="./lib.es6.d.ts" />

	// ...
	interface AstNode {
	}

	class Id implements AstNode {

wsporto / Hello.g4

Created June 9, 2020 23:54 — forked from mattmcd/Hello.g4

Simple ANTLR4 grammar example

	// define a grammar called Hello
	grammar Hello;
	r : 'hello' ID;
	ID : [a-z]+ ;
	WS : [ \t\r\n]+ -> skip ;