Larry Diehl's repositories
leveling-up
Source code accompanying the paper "Leveling Up Dependent Types"
generic-elim
Source code accompanying the paper "Generic Constructors and Eliminators from Descriptions"
linear-temporal-logic
sandbox for playing with linear temporal logic
generic-reuse
Source code accompanying the draft paper "Generic Zero-Cost Reuse for Dependent Types"
zero-cost-coercions
Source code accompanying the draft paper "Zero-Cost Coercions for Program and Proof Reuse"
plclub-expless
PL Club talk on Expressionless Weak-Head Normal Forms
plclub-apr-2013
Code for a PL Club I gave at PSU on April 19, 2013.
plclub-oct-2012
Code for a PL Club I gave at PSU on October 26, 2012
quickcheck-state-machine
Test monadic programs using state machine based models
agda-stdlib
The Agda standard library
foo-tester
just a test - ignore
gpcl
Genetic Programming using Combinatory Logic
hash-cons
Experimenting with savings on hash-cons'ing Desc-based definitions
hs-rqlite
An unofficial Haskell client for RQlite
idris-tutorial
A tutorial to the Idris Programming Language.
jekyll-multiverse-template
HTML5UP's Multiverse theme for Jekyll
resume
Personal Resume