wadler
|
5b773c88f4
|
further improvements to TypedDB
|
2018-04-12 19:08:50 -03:00 |
|
wadler
|
d19c8f5a33
|
got rid of ext in TypedDB
|
2018-04-12 18:57:26 -03:00 |
|
wadler
|
303f13ded4
|
Merge branch 'master' of github.com:wenkokke/sf
No clue.
|
2018-04-12 18:31:27 -03:00 |
|
wadler
|
e911b2a401
|
backing up before changes to TypedDB
|
2018-04-12 18:31:11 -03:00 |
|
Wen Kokke
|
da04fb6df2
|
Writing Makefiles is hard, OK?
|
2018-04-12 16:36:52 +01:00 |
|
Wen Kokke
|
ec0e64152c
|
Added workaround for bug in agda2html
|
2018-04-12 16:31:15 +01:00 |
|
Wen Kokke
|
f709ab0bf3
|
Added workaround for bug in agda2html
|
2018-04-12 16:26:37 +01:00 |
|
wadler
|
dc01c12297
|
changed index to point to Typed
|
2018-04-12 11:50:23 -03:00 |
|
wadler
|
7984c1ab66
|
changed index to point to Typed
|
2018-04-12 11:48:47 -03:00 |
|
wadler
|
e899dd228d
|
Merge branch 'master' of github.com:wenkokke/sf
I have no idea why it is necessary.
|
2018-04-12 11:37:45 -03:00 |
|
wadler
|
a2dfc55577
|
changed index to point to TypedDB
|
2018-04-12 11:37:28 -03:00 |
|
Wen Kokke
|
56e179c687
|
Removed out/ from .gitignore
|
2018-04-12 15:35:34 +01:00 |
|
wadler
|
5ae889c331
|
added TypedDB, a variant on Scoped
|
2018-04-10 18:57:21 -03:00 |
|
wadler
|
b4f79811ca
|
coded up TypedDB
|
2018-04-03 20:57:07 -03:00 |
|
wadler
|
ae7bd1f265
|
Monus
|
2018-03-27 18:09:43 -03:00 |
|
wadler
|
ee3ebd3098
|
minor changes to Prelude
|
2018-03-27 16:44:58 -03:00 |
|
wadler
|
f069c6a457
|
extra stuff
|
2018-03-27 16:19:03 -03:00 |
|
wadler
|
6e6c4a9bc2
|
added universe polymorphism to Equality
|
2018-03-27 16:14:04 -03:00 |
|
wadler
|
f7ec2acef5
|
added universe polymorphism to Equality
|
2018-03-27 16:03:24 -03:00 |
|
wadler
|
858e191639
|
making sure everything is committed
|
2018-03-22 20:46:48 -03:00 |
|
wadler
|
9f58620f8d
|
Merge branch 'master' of github.com:wenkokke/sf
I don't know why this merge is necessary.
|
2018-03-22 18:46:48 -03:00 |
|
wadler
|
fb3592239d
|
update Lists, Decidable and reorganise files
|
2018-03-22 18:46:29 -03:00 |
|
Wen Kokke
|
3e99a9d5ba
|
Switched over to minima-2.4.0
|
2018-03-22 18:47:59 +00:00 |
|
wadler
|
b943785e6b
|
revised Lists
|
2018-03-20 19:49:11 -03:00 |
|
wadler
|
e188bedcc2
|
updated pairs in Negation and Quantifiers
|
2018-03-20 18:44:46 -03:00 |
|
wadler
|
242e174280
|
updated pairs in Connectives
|
2018-03-20 18:32:31 -03:00 |
|
wadler
|
b263d68c7d
|
updated pairs in Connectives
|
2018-03-20 18:32:08 -03:00 |
|
wadler
|
a647ee9f9d
|
fix to even-odd in Quantifiers
|
2018-03-20 13:47:39 -03:00 |
|
wadler
|
e1bb83225b
|
small fixes to Naturals
|
2018-03-18 20:14:52 -03:00 |
|
wadler
|
b58de9d80e
|
corrected spelling
|
2018-03-18 19:30:35 -03:00 |
|
wadler
|
cd37b8a2ce
|
finished Quantifiers (again)
|
2018-03-18 19:13:27 -03:00 |
|
wadler
|
63f65333e3
|
added mention of Sigma to Quantifiers
|
2018-03-18 13:09:38 -03:00 |
|
wadler
|
8b7519220f
|
completed pass over Quantifiers
|
2018-03-18 12:27:39 -03:00 |
|
wadler
|
d878b55f2e
|
extra files for even exists proofs
|
2018-03-17 21:17:48 -03:00 |
|
wadler
|
9ed10c3d29
|
fix to Decidable and related extra files
|
2018-03-17 17:30:58 -03:00 |
|
wadler
|
6f5c8d2330
|
small fixes to all files
|
2018-03-17 15:09:15 -03:00 |
|
wadler
|
752f34c9e5
|
saving before lunch
|
2018-03-17 13:23:15 -03:00 |
|
wadler
|
83776712ac
|
added unequal to Negation
|
2018-03-17 12:27:07 -03:00 |
|
wadler
|
81b5da1ebd
|
moving LogicAns to NegationAns
|
2018-03-17 11:51:09 -03:00 |
|
wadler
|
29ed7cdbeb
|
halfway through Quantifiers
|
2018-03-15 19:08:31 -03:00 |
|
wadler
|
77ebd9b67f
|
added Devil story to Negation
|
2018-03-15 13:02:32 -03:00 |
|
wadler
|
f3fa5ff5fd
|
end material for Connectives
|
2018-03-15 11:47:49 -03:00 |
|
wadler
|
72ed3ad3d9
|
fixed bug in Lists
|
2018-03-15 11:11:08 -03:00 |
|
wadler
|
18dd52b4d0
|
got Negation and Quantification to compile
|
2018-03-15 10:38:44 -03:00 |
|
wadler
|
b31d8eba50
|
fixed bug in Connectives
|
2018-03-14 18:34:46 -03:00 |
|
wadler
|
771bd2de5d
|
removed Connectives-old, updated index
|
2018-03-14 18:32:44 -03:00 |
|
wadler
|
ef062ba226
|
added eta to Connectives, added Negation and Quantifiers
|
2018-03-14 18:31:30 -03:00 |
|
wadler
|
2e2ebb5665
|
updating Connectives, finishing exponentials
|
2018-03-13 18:59:10 -03:00 |
|
wadler
|
bbee34baa2
|
revised up through Isomorphism
|
2018-03-13 13:24:22 -03:00 |
|
wadler
|
d60de1202b
|
Merge branch 'master' of github.com:wenkokke/sf
I don't know why it's asking me to merge.
|
2018-03-12 19:33:29 -03:00 |
|