| .. |
|
1-cm.html
|
Tested binding and substitution
|
2020-08-23 16:54:14 +01:00 |
|
1-cp.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
1-cs.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
1-htc.html
|
Tested binding and substitution
|
2020-08-23 16:54:14 +01:00 |
|
1-pp.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
1-wtc.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
2-pwst.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
2-si.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
2-sq.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
2-up.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
3-ar.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
3-bv.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
3-cs.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
3-ptmn.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
4-dbtr.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
4-dlr.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
4-nar.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
4-nar2.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
4-nlpr.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
4-npr.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
4-nrr.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
4-nuor.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
4-nvr.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
4-pr.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
4-rpr.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
4-tr.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
4-tr2.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
4-uor.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
5-ass.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
5-ass2.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
5-imp.html
|
Removed CALLING and KIND atoms
|
2020-08-24 14:57:13 +01:00 |
|
5-npa.html
|
Tested binding and substitution
|
2020-08-23 16:54:14 +01:00 |
|
5-pk.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
5-rk.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
5-rpt.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
5-tc.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
6-ins.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
6-ipw.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
6-lp.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
6-nv.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
6-tod.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
6-uem.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
6-ul.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
6-un.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
7-am.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
7-ch.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
7-er.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
7-rlt.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
7-tur.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
7-vart.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
8-hdn.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
8-ptu.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
8-rs.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
9-ef.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
10-aots.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
10-cad.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
10-cap.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
10-its.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
10-pl.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
10-teav.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
10-varc.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
11-sc.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
11-tc.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
12-ap.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
12-ca.html
|
Removed CALLING and KIND atoms
|
2020-08-24 14:57:13 +01:00 |
|
12-cad.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
12-cdp.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
12-dtd.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
12-qr.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
12-terr.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
13-ca.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
13-kak.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
13-ki.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
13-rsfk.html
|
Removed CALLING and KIND atoms
|
2020-08-24 14:57:13 +01:00 |
|
14-cfs.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
14-cn.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
14-ds.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
14-ds2.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
14-lv.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
14-rv.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
14-sp.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
15-cp.html
|
Began refactoring unary predicates
|
2020-08-24 00:22:48 +01:00 |
|
15-cr.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
15-ep.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
15-epv.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
15-ia.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
15-ma.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
15-pov.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
15-pr.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
15-ps.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
15-spr.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
15-spr2.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
15-tpr.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
15-vp.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
16-cmw.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
16-cmw2.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
16-ic.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
16-in.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
16-is.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
16-kar.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
16-pp.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
17-rs.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
17-tl.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
17-ts.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
18-lc.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
19-lr.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
19-rsft.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
19-tb.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
19-tc.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
20-eq.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
21-ac.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
21-fao.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
21-rb.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
21-rl.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
21-rl2.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
21-sv.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
22-cs.html
|
Tested binding and substitution
|
2020-08-23 16:54:14 +01:00 |
|
22-dptd.html
|
Tested binding and substitution
|
2020-08-23 16:54:14 +01:00 |
|
22-itp.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
22-pav.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
22-ph.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
22-pi.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
22-po.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
22-prcd.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
22-ptd.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
22-pu.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
22-tp.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
22-tp2.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
23-abc.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
23-abp.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
23-abrc.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
23-abrp.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
23-ad.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
24-ch.html
|
Tested binding and substitution
|
2020-08-23 16:54:14 +01:00 |
|
24-lv.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
24-pb.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
24-sf.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
25-ci.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
25-ciac.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
25-cii.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
25-cp.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
25-in.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
25-pi.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
26-ct.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
26-fc.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
26-i6i.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
26-itc.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
26-iti.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
26-jl.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
26-lt.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
26-pc.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
26-pl.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
26-rt.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
26-ts.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
26-uoart.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
27-cm.html
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
27-em.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
27-hr.html
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
index.html
|
Moved deductions into calculus module
|
2020-08-24 23:11:39 +01:00 |
|
P-wtmd.html
|
Improved testing of terms and atoms
|
2020-08-23 12:00:56 +01:00 |
