http://adam.chlipala.net/cpdt/repo/ en-us Certified Programming with Dependent Types Changelog Certified Programming with Dependent Types Changelog [default] Note 8.11 port http://adam.chlipala.net/cpdt/repo/rev/c3d77f2bb92c http://adam.chlipala.net/cpdt/repo/rev/c3d77f2bb92c changeset c3d77f2bb92c branch default bookmark tag tip user Adam Chlipala <adam@chlipala.net> description Note 8.11 port files staging/updates.rss
]]> Adam Chlipala <adam@chlipala.net> Sun, 02 Feb 2020 10:51:18 -0500 Update for Coq 8.11 http://adam.chlipala.net/cpdt/repo/rev/a913f19955e2 http://adam.chlipala.net/cpdt/repo/rev/a913f19955e2 changeset a913f19955e2 branch bookmark tag user Adam Chlipala <adam@chlipala.net> description Update for Coq 8.11 files .hgignore
src/DataStruct.v
src/GeneralRec.v
src/Reflection.v
]]> Adam Chlipala <adam@chlipala.net> Sun, 02 Feb 2020 10:46:14 -0500 Spacing and indentation fixes in tools, from Chen Yiwu http://adam.chlipala.net/cpdt/repo/rev/3fc43e261f67 http://adam.chlipala.net/cpdt/repo/rev/3fc43e261f67 changeset 3fc43e261f67 branch bookmark tag user Adam Chlipala <adam@chlipala.net> description Spacing and indentation fixes in tools, from Chen Yiwu files tools/bsd_license.ml
tools/make_template.ml
tools/prepare_spellcheck.ml
]]> Adam Chlipala <adam@chlipala.net> Sun, 21 Apr 2019 16:09:55 -0400 Add photo of young scholar http://adam.chlipala.net/cpdt/repo/rev/c3d4217e1da7 http://adam.chlipala.net/cpdt/repo/rev/c3d4217e1da7 changeset c3d4217e1da7 branch bookmark tag user Adam Chlipala <adam@chlipala.net> description Add photo of young scholar files staging/index.html
staging/scholar.jpg
]]> Adam Chlipala <adam@chlipala.net> Sun, 20 Jan 2019 15:44:31 -0500 Back to working in Coq 8.4 http://adam.chlipala.net/cpdt/repo/rev/0ce9829efa3b http://adam.chlipala.net/cpdt/repo/rev/0ce9829efa3b changeset 0ce9829efa3b branch bookmark tag user Adam Chlipala <adam@chlipala.net> description Back to working in Coq 8.4 files src/DataStruct.v
src/DepList.v
src/Equality.v
src/MoreDep.v
src/ProgLang.v
src/Universes.v
]]> Adam Chlipala <adam@chlipala.net> Sun, 20 Jan 2019 15:28:23 -0500 Port to Coq 8.9.0 http://adam.chlipala.net/cpdt/repo/rev/81d63d9c1cc5 http://adam.chlipala.net/cpdt/repo/rev/81d63d9c1cc5 changeset 81d63d9c1cc5 branch bookmark tag user Adam Chlipala <adam@chlipala.net> description Port to Coq 8.9.0 files .hgignore
src/Coinductive.v
src/DataStruct.v
src/DepList.v
src/Equality.v
src/GeneralRec.v
src/InductiveTypes.v
src/Intro.v
src/MoreDep.v
src/ProgLang.v

]]> Adam Chlipala <adam@chlipala.net> Sun, 20 Jan 2019 15:16:29 -0500 Switch to new approach to supporting newer Coq versions while still building with patched Coq 8.4 http://adam.chlipala.net/cpdt/repo/rev/ec0ce5129fc4 http://adam.chlipala.net/cpdt/repo/rev/ec0ce5129fc4 changeset ec0ce5129fc4 branch bookmark tag user Adam Chlipala <adam@chlipala.net> description Switch to new approach to supporting newer Coq versions while still building with patched Coq 8.4 files src/StackMachine.v
]]> Adam Chlipala <adam@chlipala.net> Sun, 20 Jan 2019 15:00:32 -0500 Two new courses http://adam.chlipala.net/cpdt/repo/rev/1a231194d164 http://adam.chlipala.net/cpdt/repo/rev/1a231194d164 changeset 1a231194d164 branch bookmark tag user Adam Chlipala <adam@chlipala.net> description Two new courses files staging/index.html
]]> Adam Chlipala <adam@chlipala.net> Fri, 19 Oct 2018 10:27:35 -0400 Link to Ottawa CSI 5137 http://adam.chlipala.net/cpdt/repo/rev/7020e5a4af96 http://adam.chlipala.net/cpdt/repo/rev/7020e5a4af96 changeset 7020e5a4af96 branch bookmark tag user Adam Chlipala <adam@chlipala.net> description Link to Ottawa CSI 5137 files staging/index.html
]]> Adam Chlipala <adam@chlipala.net> Mon, 17 Sep 2018 19:50:48 -0400 Link to RIT CSCI 740 http://adam.chlipala.net/cpdt/repo/rev/5504235ea06d http://adam.chlipala.net/cpdt/repo/rev/5504235ea06d changeset 5504235ea06d branch bookmark tag user Adam Chlipala <adam@chlipala.net> description Link to RIT CSCI 740 files staging/index.html
]]> Adam Chlipala <adam@chlipala.net> Sun, 25 Mar 2018 13:03:34 -0400