Formal Works

Timeline
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

50 most recent check-ins

2018-06-22
04:56
added some more setup help Leaf check-in: 9f330ea09a user: eli tags: master, trunk
03:53
moved website files into site/ directory check-in: 2c2439a70d user: eli tags: master, trunk
03:41
added basic markdown styling check-in: 8c7caf757a user: eli tags: master, trunk
02:19
added script for installing caddy check-in: 72ac5adeb1 user: eli tags: master, trunk
02:06
added top level comment to host setup script check-in: 192811f351 user: eli tags: master, trunk
2018-06-18
20:02
put USERNAME variable in place of "human" hardcoded in setup script check-in: cde33d1649 user: eli tags: master, trunk
19:59
added beginning of Fossil CMS project check-in: 72c294d8f2 user: eli tags: master, trunk
2018-06-10
23:46
changed name from eek to actor-js check-in: 282c789da9 user: eli tags: master, trunk
2018-06-09
20:33
fixed typo check-in: b5833dc14e user: eli tags: master, trunk
20:33
changed v1() call to eek_v1() for explicitness check-in: fdc9441224 user: eli tags: master, trunk
20:27
renamed jel to eek check-in: 13dfe21c30 user: eli tags: master, trunk
08:13
added basic testing framework to jel check-in: 2ce90f9ee0 user: eli tags: master, trunk
2018-06-05
16:44
added command line argument array in js ; echo.js working check-in: db2683719c user: eli tags: master, trunk
16:23
changed build process to use duktape static library for faster jel builds check-in: 7b2f55161d user: eli tags: master, trunk
11:49
added required version declaration for backwards compatibility check-in: 6ba05d1f65 user: eli tags: master, trunk
03:46
added functionality to run jel from a hashbang check-in: 98098ee8b4 user: eli tags: master, trunk
2018-06-04
23:12
brought duktape into jel project check-in: 236aeb6415 user: eli tags: master, trunk
17:42
added ideas for jel javascript tool check-in: 71884560fc user: eli tags: master, trunk
17:16
added initial setup for single cloud actor with duktape check-in: 19851e46b7 user: eli tags: master, trunk
14:21
changed site backup to use the database file instead of a zip file check-in: 84edba9e98 user: eli tags: master, trunk
2018-06-02
18:22
added more info on cloud actor queries check-in: da2696842e user: eli tags: master, trunk
2018-05-25
13:51
changed site-builder spec to use email and optional passphrase for auth check-in: ff6c9c6c7c user: eli tags: master, trunk
2018-05-24
19:56
removed site-host; added authentication and hosting sections to site-builder check-in: 22dcf72125 user: eli tags: master, trunk
17:54
removed verbose discussion from site-builder spec check-in: dadf637cde user: eli tags: master, trunk
17:51
simplified CMS spec check-in: 79de3c7b23 user: eli tags: master, trunk
2018-05-23
20:02
changed heading check-in: 2b812a4e87 user: eli tags: master, trunk
19:53
removed link to formal.codes check-in: e85110601f user: eli tags: master, trunk
2018-05-22
17:19
updated depo link on home to go to docs check-in: 3c90bd20b2 user: eli tags: master, trunk
17:10
fixed formatting check-in: b9a142cc1f user: eli tags: master, trunk
17:10
added cloud actor docs ; added link on home to formalist docs check-in: 968df587b4 user: eli tags: master, trunk
2018-05-21
15:49
added basic structure and beginning of docs for elixir cloud actor implementation check-in: ec3b7081c6 user: eli tags: master, trunk
12:41
removed obsolete proposals link check-in: cf41942da3 user: eli tags: master, trunk
12:40
moved formal site proposals to specs folder check-in: bd99d82f60 user: eli tags: master, trunk
12:36
removed old proposal documents check-in: 0be7123622 user: eli tags: master, trunk
12:32
removed old notes; made IV a spec draft check-in: 7a78c2b79d user: eli tags: master, trunk
2018-05-20
01:35
added cloud actor initial spec check-in: bbaadb2f96 user: eli tags: master, trunk
2018-05-18
18:39
added bug report spec; put all specs in one folder check-in: 5303caa9e9 user: eli tags: master, trunk
18:24
added reference on index to specs check-in: a26edcf33e user: eli tags: master, trunk
18:20
moved interface-specs from draft to live check-in: fd44ecadad user: eli tags: master, trunk
18:18
language tweakrs for interface-specs check-in: 3e63f52493 user: eli tags: master, trunk
18:12
typos and tweaked order of sections in interface-specs check-in: 940e13479f user: eli tags: master, trunk
18:09
added simplified interface specifiation to replace formal proposal format check-in: 1664b6aa9c user: eli tags: master, trunk
2018-05-14
17:39
added install script check-in: 4c7121ae76 user: eli tags: master, trunk
17:35
moved haze setup scripts to /sh directory check-in: 86931d03a8 user: eli tags: master, trunk
17:31
updated haze readme check-in: d0dd9345bc user: eli tags: master, trunk
17:26
added elixir docs into fossil check-in: e33526a130 user: eli tags: master, trunk
15:37
added small agenda mockup to literate program check-in: e5ef4ccf80 user: eli tags: master, trunk
15:23
changed agenda markdown pandoc output to markdown_strict for displaying in Fossil check-in: 3caa0f6644 user: eli tags: master, trunk
15:17
added markdown file converted from org-mode for agenda literate program check-in: 9427731d1e user: eli tags: master, trunk
2018-05-07
21:06
added note to topik about using IV for the database logic language check-in: 4e94b9ff19 user: eli tags: master, trunk