Philip Wadler
|
eb03578439
|
Merge pull request #430 from citrusmunch/patch-2
consistent variable name typo
|
2019-10-26 10:44:51 +01:00 |
|
wadler
|
8656f2e7af
|
merge
|
2019-10-25 11:14:51 +01:00 |
|
wadler
|
a5960b6547
|
revised exercise More
|
2019-10-25 11:14:02 +01:00 |
|
citrusmunch
|
8d40127af0
|
consistent variable name typo
|
2019-10-24 21:30:59 -04:00 |
|
wadler
|
59796a6214
|
Update courses
|
2019-10-23 11:07:07 +01:00 |
|
Philip Wadler
|
9b2edd3f55
|
Merge pull request #385 from kenichi-asai/inference
Inference: a variable -> an abstraction
|
2019-10-21 16:13:09 +01:00 |
|
Pedro Minicz
|
1615048a31
|
Fix: missing close backquote on inline code.
|
2019-10-21 11:41:11 -03:00 |
|
Vi Po
|
23ab17728d
|
Fix Bit format
|
2019-10-20 22:25:39 +03:00 |
|
Philip Wadler
|
22edd31564
|
further tweaks to List
|
2019-10-14 19:11:14 +01:00 |
|
Philip Wadler
|
d13da5e92c
|
fixed merge on Lists
|
2019-10-14 15:54:59 +01:00 |
|
Philip Wadler
|
3494b05d56
|
Updating Lists
|
2019-10-14 15:52:19 +01:00 |
|
wadler
|
8c893ca669
|
Assignment 3
|
2019-10-14 12:02:08 +01:00 |
|
wadler
|
d8a42e68f9
|
added an example to beginning of Quantification
|
2019-10-07 10:59:15 +01:00 |
|
Wen Kokke
|
29d37040c2
|
Merge pull request #417 from momirza/patch-6
Remove redundant word
|
2019-09-30 13:33:33 +01:00 |
|
Wen Kokke
|
7a3ba37659
|
Merge pull request #418 from AD1024/dev
[ fix ] inline code block
|
2019-09-30 13:33:00 +01:00 |
|
wadler
|
55ecfb595b
|
Added Assignment2
|
2019-09-30 12:24:25 +01:00 |
|
AD1024
|
4d919d75e5
|
[ fix ] inline code block
|
2019-09-30 01:13:14 -07:00 |
|
Mo Mirza
|
eaa05fb1db
|
Remove redundant word
|
2019-09-29 02:01:42 +01:00 |
|
Wen Kokke
|
a79cd54db3
|
Merge pull request #415 from momirza/patch-4
Fix typo
|
2019-09-28 11:56:57 +01:00 |
|
Mo Mirza
|
739c9b4619
|
Remove “the”
|
2019-09-28 11:55:47 +01:00 |
|
Mo Mirza
|
2621c92824
|
Fix typo
|
2019-09-28 11:47:47 +01:00 |
|
AD1024
|
4991b56974
|
[ implement ] issue #412
|
2019-09-23 18:34:24 -07:00 |
|
wadler
|
8f77a13551
|
Revising Bin
|
2019-09-19 21:11:36 +01:00 |
|
Philip Wadler
|
f0af93fca8
|
Merge pull request #406 from plfa/string-compare
[WIP] Restructure Lambda now that String equality computes
|
2019-09-19 18:53:09 +01:00 |
|
Wen Kokke
|
4ccfa24b60
|
Moved explanation to Lambda#primed
|
2019-09-18 16:20:55 +01:00 |
|
Wen Kokke
|
ff882eccf6
|
Revert "Moved explanation to DeBruijn#lookup"
This reverts commit dba3a4ae84.
|
2019-09-18 16:20:03 +01:00 |
|
Wen Kokke
|
c0086ca017
|
Revert "Removed ticked syntax exercise."
This reverts commit 598747b8e9.
|
2019-09-18 16:13:22 +01:00 |
|
Reza Gharibi
|
4e3a2734dd
|
Removed an unnecessary import
|
2019-09-17 15:48:10 +02:00 |
|
Mo Mirza
|
1d44a3906a
|
Consistent formatting
|
2019-09-17 15:44:03 +02:00 |
|
Wen Kokke
|
dba3a4ae84
|
Moved explanation to DeBruijn#lookup
|
2019-09-17 15:34:18 +02:00 |
|
Wen Kokke
|
598747b8e9
|
Removed ticked syntax exercise.
|
2019-09-17 15:29:29 +02:00 |
|
Wen Kokke
|
eb3fac95b5
|
Removed 'assert inequality'; removed text explaining postulating impossible.
|
2019-09-17 15:11:13 +02:00 |
|
wadler
|
1b3b6f7cf1
|
minor fixes to assignments
|
2019-09-15 17:36:16 +01:00 |
|
Mo Mirza
|
5ae3b56ccc
|
Fix typo: argument to arguments
|
2019-09-11 00:32:52 +01:00 |
|
wadler
|
4841f3d879
|
added 'de Philip' to dedication
|
2019-09-05 17:37:39 +02:00 |
|
wadler
|
b0746f9e17
|
updated dedication
|
2019-09-05 16:35:17 +02:00 |
|
wadler
|
0de4fad2c0
|
updated dedication
|
2019-09-05 13:50:11 +02:00 |
|
Philip Wadler
|
68a128e819
|
Merge pull request #395 from h4iku/fix-name-typo
Fixed module naming typos
|
2019-09-04 12:56:00 +01:00 |
|
Wen Kokke
|
56189e2d87
|
Revert "Remove tick from constructors"
|
2019-09-03 17:19:14 +01:00 |
|
Philip Wadler
|
50f93f1e67
|
Merge pull request #394 from plfa/detick
Remove tick from constructors
|
2019-09-03 13:46:23 +01:00 |
|
Reza Gharibi
|
3a98d1dbae
|
Fixed module naming typos
|
2019-09-02 23:25:33 +04:30 |
|
wadler
|
07894d0d79
|
Remove tick from constructors
|
2019-09-02 19:15:50 +01:00 |
|
Reza Gharibi
|
0cb6b989d5
|
Changed the description of practice exercises
|
2019-09-01 03:00:42 +04:30 |
|
Reza Gharibi
|
63fcbbe25e
|
Changed missed inherent occurrences to intrinsic
|
2019-08-31 22:35:41 +01:00 |
|
wadler
|
f68782dccb
|
Change inherent to intrinsic
|
2019-08-31 20:04:12 +01:00 |
|
Turab Jafri
|
bb5ff4cd64
|
part1/Relations: Add _*_ import
For convenience, readers shouldn't worry about importing
functions that are required for exercises
|
2019-08-25 23:46:15 -04:00 |
|
Turab Jafri
|
aaf5b914b0
|
part1/Relations: Fix Typo
"form `m ≤ n`" -> "from `m ≤ n`"
|
2019-08-25 22:09:08 -04:00 |
|
Kenichi Asai
|
251d9bf751
|
Inference: a variable -> an abstraction
|
2019-08-23 09:25:24 +09:00 |
|
Jeremy Siek
|
69da80df93
|
agda style
|
2019-08-20 15:37:15 -04:00 |
|
Jeremy Siek
|
b88cd2478b
|
failed attempt to use std lib reasoning
|
2019-08-20 15:31:52 -04:00 |
|