Permalink

Failed to load latest commit information.

Type

Name

Latest commit message

Commit time

build

move build scripts into build/; ignore bin

Jun 3, 2015

doc

Clarify

Feb 20, 2019

example

simplified polymorphic-id-unique proof

Aug 18, 2016

lib

Upgrade sml-telescopes to master

Jan 4, 2016

src

fix a binding bug in Subst rule (huge thanks to @wilcoxjay for help d…

Oct 7, 2016

stdlib

Add a horrible proof that x != \Top ==> x = \Bot

Sep 18, 2015

.gitignore

update gitignore for weird emacs stuff

Jun 11, 2015

.gitmodules

move telescopes code into a library

Aug 2, 2015

.travis.yml

fix travis

Jan 4, 2016

LICENSE

Add MIT License (close #85 )

Jun 26, 2015

Makefile

Start on synthetic topology development

Sep 18, 2015

README.md

fix example in README

Jul 27, 2015

THANKS.md

Update acknowledgements

Jul 29, 2015