]> hydra-www.ietfng.org Git - dyna2/summary
 
descriptionnone
ownerroot
last changeMon, 4 May 2015 18:18:43 +0000 (14:18 -0400)
shortlog
2015-05-04 Nathaniel Wesley... Tweak readme main
2015-05-04 Nathaniel Wesley... Bump trifecta lower bound
2015-05-04 Nathaniel Wesley... Attempt to improve GHC version support
2015-03-11 Nathaniel Wesley... Small compilation fixes
2014-12-20 Jason Eisnersome todos added from time to time
2014-08-08 Jason EisnerMerge branch 'master' of github.com:nwf/dyna
2014-08-08 Jason Eisnervarious additions to spec
2014-03-03 Tim VieiraMerge branch 'master' of ssh://github.com/nwf/dyna...
2014-03-02 Nathaniel Wesley... More small tweaks to build system
2014-03-02 Nathaniel Wesley... Start sketch of type system docs
2014-03-02 Nathaniel Wesley... Move automata library
2014-02-27 Nathaniel Wesley... Tweak provided patch as per @timvieira
2014-02-27 kosiakkFailure on parse errors, issue #71
2014-02-27 Nathaniel Wesley... Tweak build process handling of git submodules
2014-02-27 Nathaniel Wesley... Add sphinx bootstrap theme as git submodule
2014-02-27 Alexander KosenkovSearch is broken because of an extra line in git output
...
heads
11 years ago main