Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2021-03-09
| ||
| 03:15 | reworked primitive system Leaf check-in: 4567eee4bf user: kbg tags: anselmpro-dev-kbg | |
|
2021-03-08
| ||
| 19:29 | extremely basic evaluation check-in: a95855e698 user: kbg tags: anselmpro-dev-kbg | |
| 08:47 | modified top level syntax check-in: f3eb455cb8 user: kbg tags: anselmpro-dev-kbg | |
| 01:56 | reworked operator associativity to be based on first char, and non-assoc at higher precedence check-in: 385e092e10 user: kbg tags: anselmpro-dev-kbg | |
|
2021-02-27
| ||
| 01:29 | modified function literal syntax check-in: 491246c13a user: kbg tags: anselmpro-dev-kbg | |
|
2021-02-24
| ||
| 23:00 | added parsing for top-level declarations check-in: b86b6694f3 user: kbg tags: anselmpro-dev-kbg | |
| 21:54 | switched `.` char to non-associative, `<>` chars to associative check-in: 931ecfa78d user: kbg tags: anselmpro-dev-kbg | |
| 21:05 | added anselmpro top-level check-in: ca4608d214 user: kbg tags: anselmpro-dev-kbg | |
| 18:32 | modularized parser/lexer check-in: e47f31c3a2 user: kbg tags: anselmpro-dev-kbg | |
| 18:21 | principled precedence levels, function application parsing check-in: 1ca27c2fc6 user: kbg tags: anselmpro-dev-kbg | |
|
2021-02-23
| ||
| 12:13 | correct parsing of dyadic operators check-in: 26f3103bd9 user: kbg tags: anselmpro-dev-kbg | |
|
2021-02-15
| ||
| 09:33 | added pi/sigma/record parsing Leaf check-in: f3de3f67b2 user: kbg tags: gaunilo-dev-kbg | |
|
2021-02-14
| ||
| 10:00 | added correct parsing of monadic operators and field accesses check-in: 06fdfc11b9 user: kbg tags: anselmpro-dev-kbg | |
| 06:20 | added function parsing with implicit parameters check-in: 2d6d9518ca user: kbg tags: anselmpro-dev-kbg | |
|
2021-02-13
| ||
| 11:58 | fixed syntax highlighting for prolog character literals Leaf check-in: e6537f1792 user: kbg tags: site-trunk | |
|
2021-02-12
| ||
| 22:54 | reordered lexer rules for greediness, added basic parser check-in: 92be7734e9 user: kbg tags: anselmpro-dev-kbg | |
| 09:04 | added comments check-in: a715f530ef user: kbg tags: anselmpro-dev-kbg | |
| 08:51 | tokenize pseudo-escape sequences correctly check-in: d5f5eb4816 user: kbg tags: anselmpro-dev-kbg | |
| 08:19 | added inchoate lexer for Anselm check-in: 9f5fcb3e0c user: kbg tags: anselmpro-dev-kbg | |
|
2021-02-11
| ||
| 09:53 | created new branch for anselmpro Leaf check-in: bafa31e486 user: kbg tags: anselmpro-trunk | |
|
2021-02-09
| ||
| 20:49 | added fixpoint operator syntax check-in: 914190aa2e user: kbg tags: gaunilo-dev-kbg | |
| 07:17 | effect type syntax check-in: 7d35269d1f user: kbg tags: gaunilo-dev-kbg | |
|
2021-02-08
| ||
| 16:14 | First development release of Gaunilo. Working simply-typed intepreter. Leaf check-in: a0652b5805 user: kbg tags: trunk, gaunilo-0.0.0 | |
|
2021-02-05
| ||
| 19:50 | merged in config files from trunk check-in: ec18ae98bb user: kbg tags: gaunilo-dev-kbg | |
| 19:49 | added syntax highlighting and code blocks in wiki check-in: 0205e7ffb9 user: kbg tags: site-trunk | |
|
2021-02-03
| ||
| 17:09 | anselm.dev skin, v1 check-in: fe7c6893b9 user: kbg tags: trunk | |
| 17:08 | added config files to trunk check-in: 048ee2582b user: kbg tags: trunk | |
| 17:07 | added config files Leaf check-in: acdfa4bc62 user: kbg tags: gaunilo-trunk | |
| 17:06 | added in config files check-in: 44436e4adb user: kbg tags: site-trunk | |
| 17:05 | created new branch for configuration settings Leaf check-in: 7f78cd7e4b user: kbg tags: config-trunk | |
| 02:43 | better hex dump, tree view, artifact styling check-in: 77dddf1ab7 user: kbg tags: site-trunk | |
|
2021-02-02
| ||
| 16:48 | changed files font, got rid of annoying help button on home page check-in: 50fbec01da user: kbg tags: site-trunk | |
| 16:31 | syntax highlighting, improved file browser styling check-in: 94b534ea1b user: kbg tags: site-trunk | |
| 14:31 | improved submenu styling, all buttons have aligned/equal height check-in: a3e2007eac user: kbg tags: site-trunk | |
|
2021-02-01
| ||
| 01:26 | updated timeline styling check-in: 7e82f43efc user: kbg tags: site-trunk | |
|
2021-01-31
| ||
| 18:40 | added fossil/license links to footer check-in: 70b7c148ce user: kbg tags: site-trunk | |
| 13:05 | fixed hash wrapping issue check-in: a9580fc677 user: kbg tags: site-trunk | |
| 10:48 | copied over remaining rules from default skin check-in: c3fd26a82e user: kbg tags: site-trunk | |
| 00:58 | button presses check-in: e769e20ac3 user: kbg tags: site-trunk | |
| 00:45 | more minor cosmetic fixes check-in: 93d1641bd0 user: kbg tags: site-trunk | |
| 00:22 | cosmetic fixes check-in: 4f9ddc1b8d user: kbg tags: site-trunk | |
|
2021-01-30
| ||
| 21:29 | fixed home page active tab issue check-in: 03bc2741aa user: kbg tags: site-trunk | |
| 18:41 | fixed inexplicable tab gap issue check-in: 97f8adf9fc user: kbg tags: site-trunk | |
| 16:31 | added submenu styling, &c. check-in: 2edf5031a3 user: kbg tags: site-trunk | |
| 12:36 | 90% of intended basic look/feel check-in: 80ba85e6da user: kbg tags: site-trunk | |
|
2021-01-28
| ||
| 21:58 | added base style files for site skin check-in: 091fbc6771 user: kbg tags: site-trunk | |
| 21:33 | working interpreter for simply-typed CBPV core calculus check-in: abd171e106 user: kbg tags: gaunilo-trunk | |
| 21:31 | cleaned up gaunilo.pro check-in: 5c232f9c54 user: kbg tags: gaunilo-dev-kbg | |
| 21:30 | import modules into gaunilo.pro check-in: a0e1c062de user: kbg tags: gaunilo-dev-kbg | |
| 19:56 | copied evaluator code from guanilo.pro into separate file check-in: 2fd43b46b4 user: kbg tags: gaunilo-dev-kbg | |