pigworker

CS410-14

being the materials for CS410 Advanced Functional Programming in the 2014-15 session

CS410-15

being the materials for CS410 Advanced Functional Programming in the 2015/16 session

shonky

being some experiments, working towards some equipment I wish I had

Pivotal

CS410-13

being the notes and materials for CS410 in the 2013/14 academic session

Frank

being a slightly rethought version of the Frank implementation

Totality

being the programs and code for a paper about general recursion

SSGEP-DataData

being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford

Vole

being a funny little programming language with a funny little abstract machine

BathTime

being an experiment with universes and time

WhatRTypes4

being the materials from my YOW LambdaJam 2016 talk

LibAgda

CVI

being the Circuit Validation Interpreter

CS316-16

being the course repo for the 2016/17 semester 1 outing of CS316 Functional Programming

OpenSigma

being an attempt to express dependently typed data models

PolyTest

being a literate Agda development of a theorem about testing polynomials with summation

Ship

ConorLearnsIdris

being a scratch space for my teething troubles and tiny triumphs

EWSCS14

being the lecture material and exercises for the Estonian Winter School

FilesForTwoPointOne

being the things we need participants to see

MGS14

being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham

AgdaIntro

being a place to keep moderately instructive literate Agda files

April13

in which pigworker tries to remember how to write programs

UpsetOrder

being the materials for a paper about worlds