Juhana Laurinharju
|
f980058472
|
that they only -> that the only
|
2018-05-10 20:40:12 +03:00 |
|
wadler
|
1cddc51221
|
fixed imports of Collections
|
2018-05-09 19:45:15 -03:00 |
|
wadler
|
a155efa76f
|
fixed typo
|
2018-05-09 19:23:32 -03:00 |
|
wadler
|
ece27d766a
|
fixed all imports of Collections
|
2018-05-09 19:19:58 -03:00 |
|
wadler
|
8afc6f9ce0
|
dead end for Raw, hard to convert to Scoped
|
2018-05-09 19:00:51 -03:00 |
|
wadler
|
dfad6e0822
|
Merge branch 'master' of github.com:wenkokke/sf
|
2018-05-08 19:13:20 -03:00 |
|
wadler
|
be07dfa3eb
|
added Raw
|
2018-05-08 19:12:42 -03:00 |
|
wadler
|
b0cad64b2e
|
Merge pull request #10 from Fingerzam/patch-2
remove repeated text
|
2018-05-07 18:47:52 -03:00 |
|
Juhana Laurinharju
|
52f3b5ad34
|
remove repeated text
It looks like these lines were repeated twice in a row
|
2018-05-07 21:16:13 +03:00 |
|
wadler
|
8e5f3bfb3a
|
Merge pull request #7 from stepchowfun/fewer
Replace 'less' with 'fewer'
|
2018-05-07 10:39:38 -03:00 |
|
wadler
|
956525e9b6
|
Merge pull request #8 from koo5/master
Typo fix - thank you!
|
2018-05-07 10:00:42 -03:00 |
|
Your Name
|
c89df7cd7b
|
typo fix
|
2018-05-05 15:53:31 +02:00 |
|
Stephan Boyer
|
0435239e12
|
Replace 'less' with 'fewer'
|
2018-05-04 18:51:31 -07:00 |
|
wadler
|
50b897e11d
|
progress on TypedBarendregt
|
2018-05-04 19:06:04 -03:00 |
|
wadler
|
9d0dff1eb4
|
Fixed plus in TypedFresh
|
2018-05-04 17:00:42 -03:00 |
|
wadler
|
c8ca573d8a
|
fixed alpha renaming example in Stlc
|
2018-05-04 15:05:55 -03:00 |
|
wadler
|
ec1561d3ae
|
fix to index
|
2018-05-04 13:20:02 -03:00 |
|
wadler
|
b2a1ec5154
|
Merge branch 'master' of github.com:wenkokke/sf
|
2018-05-04 13:13:42 -03:00 |
|
wadler
|
f81c061fac
|
fixed spelling of James' name
|
2018-05-04 13:13:26 -03:00 |
|
wadler
|
d9b4412075
|
Merge pull request #6 from philderbeast/patch-1
Typo sky for eye.
|
2018-05-04 11:33:30 -03:00 |
|
Phil de Joux
|
9a75f3fdc7
|
Typo sky for eye.
|
2018-05-04 09:44:31 -04:00 |
|
wadler
|
d3ebe58fa1
|
added new files to index
|
2018-05-03 10:56:22 -03:00 |
|
wadler
|
155677811c
|
added TypedFresh and some comments
|
2018-05-03 10:39:13 -03:00 |
|
wadler
|
eb8f85bca7
|
completed det
|
2018-05-03 08:10:38 -03:00 |
|
wadler
|
d987b55b4d
|
halfway through det in Typed
|
2018-05-02 15:26:14 -03:00 |
|
wadler
|
4f337fbf39
|
added Typed-wf-deadend
|
2018-05-02 10:01:51 -03:00 |
|
wadler
|
9d5fed84a1
|
fixed build
|
2018-05-01 23:15:23 -03:00 |
|
wadler
|
9531c60466
|
stuck for tonight
|
2018-05-01 23:14:09 -03:00 |
|
wadler
|
10b27eca5d
|
fixed build
|
2018-05-01 22:30:13 -03:00 |
|
wadler
|
312ec4435a
|
halfway through revising Typed for wf envs
|
2018-05-01 22:28:23 -03:00 |
|
wadler
|
9c48858463
|
backup before working on Typed
|
2018-05-01 20:42:58 -03:00 |
|
wadler
|
3a65620660
|
first draft of Extensions
|
2018-05-01 19:57:53 -03:00 |
|
wadler
|
fa24ac231a
|
values do not reduce
|
2018-05-01 17:59:35 -03:00 |
|
wadler
|
25cd81b35d
|
tidied up reduction example
|
2018-05-01 11:59:25 -03:00 |
|
wadler
|
49bc02d39a
|
small fix to Untyped
|
2018-04-30 19:29:57 -03:00 |
|
wadler
|
ce1b318d4c
|
completed first redraft of TypedDB
|
2018-04-30 19:01:06 -03:00 |
|
wadler
|
f20b7d3af6
|
revised up to progress in TypedDB
|
2018-04-30 16:34:44 -03:00 |
|
wadler
|
49786f5c5d
|
halfway through first pass of TypedDB
|
2018-04-30 15:54:06 -03:00 |
|
wadler
|
906b249fa7
|
Merge branch 'master' of github.com:wenkokke/sf
Pulling in Wen's changes
|
2018-04-30 14:33:32 -03:00 |
|
wadler
|
3d79c2eb22
|
copied TypedDB to Untyped
|
2018-04-30 14:33:18 -03:00 |
|
Wen Kokke
|
166a8132dc
|
Added Source Code Pro to the Agda fonts
|
2018-04-28 13:30:06 +02:00 |
|
wadler
|
2ea1e12b7a
|
moved Denotational to extra, added test cases
|
2018-04-28 07:47:32 -03:00 |
|
wadler
|
5c7531c3ee
|
restored Typed from backup
|
2018-04-27 16:15:38 -03:00 |
|
wadler
|
74427956f3
|
failed attempt at string ids
|
2018-04-27 16:13:51 -03:00 |
|
wadler
|
c4bc06e2f5
|
checking up to date
|
2018-04-26 19:10:10 -03:00 |
|
wadler
|
5457f90f1c
|
moved code from Typed to Denotational
|
2018-04-26 18:47:36 -03:00 |
|
wadler
|
c2f049e917
|
added turnstyle to names of type rules
|
2018-04-26 18:33:53 -03:00 |
|
wadler
|
5dc3daa243
|
updated examples for PCF
|
2018-04-26 18:05:40 -03:00 |
|
wadler
|
42efc23511
|
revised progress
|
2018-04-26 15:54:49 -03:00 |
|
wadler
|
808ef8bfb8
|
improved Canonical
|
2018-04-26 15:37:55 -03:00 |
|