Soham Chowdhury mrkgnao

I've been building an implementation of the "Sound and Complete" type system, as those of you who follow me on Twitter might know (hi!), and I'm fairly close to finishing the system of the paper.

I intend to extend it with support for the two things mentioned in the ending "Extensions" section:

constructors that take arguments
recursive types (like [ ])

and use it as a Core language for a new Haskell-like language. But I'm implementing an evaluator at present, as being able to "run" small programs is pretty motivating.

MiniTodo

A heavily-commented, partly modified version of the stripped-down Reflex todo list from reflex-examples.

{-# LANGUAGE RecursiveDo, OverloadedLists, ScopedTypeVariables, OverloadedStrings  #-}

{-
 - A heavily-commented, partly modified version of the stripped-down Reflex todo list from reflex-examples
 -}

	use futures::prelude::*;
	use futures::task::{Context, Poll};
	use std::pin::Pin;
	use std::sync::{Arc, Mutex};
	use tokio::time;

	enum Noise {
	PollMe,
	WakeMe,
	}

	{-# LANGUAGE TypeApplications #-}
	{-# LANGUAGE TypeOperators #-}

	module Main where

	import qualified Common
	import Data.Proxy ( Proxy(..) )
	import Control.Lens ( (^.), (+=), (-=), (.=), makeLenses )
	import qualified Servant.API as S
	import Servant.API ( (:<\|>)(..) )

	#!/usr/bin/env bash

	set -euo pipefail
	origdir=$(pwd)
	tmpdir=$(mktemp -d)
	echo "tmpdir: $tmpdir"
	read -r width height < <(pdfinfo $1 \| grep "Page size:" \| sed 's/[a-zA-Z: ]\([0-9]\+\)[x ]\([0-9]\+\).*/\1 \2/')
	npages=$(pdfinfo $1 \| grep "Pages:" \| sed 's/Pages: \+\([0-9]\+\).*/\1/')
	echo "page count: $npages"
	echo "(width, height) = ($width, $height)"

	;; In Spacemacs, this sets up:
	;; - LaTeX previews (in \(...\) or \[...\]) with `, T x`
	;; - TikZ preview (inside #+BEGIN_LaTeX ... #+END_LaTeX blocks) with C-c C-c
	;;
	;; All previews and exports use AMS Euler, which I like, and a suitable text
	;; font to go with it.
	;;
	;; Other libraries (xy and so on) should also work if you add them to the
	;; org-latex-packages-alist lines below.
	;;

	{-# LANGUAGE NoMonomorphismRestriction #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeApplications #-}
	module Fmap where

	import Control.Category ((<<<), (>>>))
	import Prelude hiding (map)

	type Reader = (->)

	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE NoImplicitPrelude #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE TypeOperators #-}

	module Main where

	import Protolude hiding ((:*:), optional)

	import Database.Selda

	{
	allowBroken = true;
	allowUnfree = true;
	permittedInsecurePackages = [
	"webkitgtk-2.4.11"
	];
	}

	xkb_keymap {
	xkb_keycodes "evdev+aliases(qwerty)" {
	minimum = 8;
	maximum = 255;
	<ESC> = 9;
	<AE01> = 10;
	<AE02> = 11;
	<AE03> = 12;
	<AE04> = 13;
	<AE05> = 14;