4043a5c1a3
Add a draft of the catmorphisms post
2022-04-22 17:20:32 -07:00
dc3f086b9d
Update the blog flake submodule and Nix Blog post
2022-04-09 15:55:21 -07:00
b67c1ab615
Add some more to the Nix Blog post
2022-04-09 02:50:04 -07:00
97c989e465
Add a draft about digit sum patterns.
2021-12-31 00:14:31 -08:00
d41973f1a8
Add server configuration as submodule
2021-12-03 19:38:16 -08:00
826dde759f
Finish a draft of the UCC evaluator article
2021-11-28 16:50:28 -08:00
30c395151d
Use a different representation of values and prove equivalence of UCC evalutor
2021-11-28 01:08:56 -08:00
d72e64c7f9
Fix Ltac2 bug in Dawn file
2021-11-27 23:13:08 -08:00
abdc8e5056
Cleanup DawnEval.v
2021-11-27 14:17:09 -08:00
bc754c7a7d
Start working on a verified UCC evaluator.
2021-11-26 01:40:04 -08:00
c214d9ee37
Add the initial version of the Dawn article.
2021-11-20 23:21:03 -08:00
3c905aa1d7
Add draft of TypeScript typesafe event emitter post
2021-09-04 18:32:08 -07:00
c44c718d06
Remove accidentally commited test submodule.
2021-01-11 16:58:33 -08:00
5e4097453b
Update submodule script to properly gather submodule paths.
2021-01-11 12:39:41 -08:00
b3ff2fe135
Add more text to draft.
2021-01-02 21:23:47 -08:00
6a6f25547e
Update post with tactic-based proof.
2021-01-02 18:33:02 -08:00
06014eade9
Add AoC submodule.
2021-01-01 18:40:43 -08:00
234b795157
Add Coq advent of code post.
2020-12-02 01:14:32 -08:00
b459e9cbfe
Update typesafe imperative language post draft.
2020-11-01 23:56:55 -08:00
52abe73ef7
Make the typesafe imperative language work properly.
2020-10-31 01:34:23 -07:00
f0fe481bcf
Add post about the typesafe imperative language.
2020-10-30 19:07:30 -07:00
d153af5212
Get rid of more constructors and make mangled names optional.
2020-09-18 14:09:03 -07:00
a336b27b6c
Remove unneeded explicit calls to std::string
2020-09-18 12:27:57 -07:00
97eb4b6e3e
Fix silent error in set_mangled_name
2020-09-18 12:02:37 -07:00
5db864881a
Fix use of wrong environment for name mangling.
2020-09-17 22:55:27 -07:00
7226d66f67
Remove the parent method from type_env.
2020-09-17 22:35:12 -07:00
8a352ed3ea
Roll back optimization changes.
2020-09-17 20:45:24 -07:00
02f8306c7b
Use an instruction instead of a special-case boolean instruction.
2020-09-17 18:33:52 -07:00
cf6f353f20
Change tagging to assume sign extension.
...
ARM and x86_64 require "real" pointers to be
sign-extended in their top bits. This means
a working pointer is guaranteed to have either "11"
as leading bits, or "00". So, to tag a "fake" pointer
which is an unboxed 32-bit integer, we simply toggle
the leading bit.
2020-09-17 18:30:55 -07:00
7a631b3557
Make a few more things classes.
2020-09-17 18:30:41 -07:00
5e13047846
Make global scope a class.
2020-09-15 19:45:05 -07:00
c17d532802
Make type_mgr a class.
2020-09-15 19:19:58 -07:00
55e4e61906
Make mangler a class and reformat graph.
2020-09-15 19:13:48 -07:00
f2f88ab9ca
Make env a class.
2020-09-15 19:12:12 -07:00
ba418d357f
Make type_env a class.
2020-09-15 19:10:36 -07:00
0e3f16139d
Make llvm_context a class.
2020-09-15 19:08:00 -07:00
55486d511f
Make some refactors for name mangling and encapsulation.
2020-09-15 18:51:28 -07:00
6080094c41
Require mangled names for global variables.
2020-09-15 14:39:31 -07:00
6b8d3b0f8a
Refactor errors and update post draft.
2020-09-11 21:29:49 -07:00
725958137a
Factor type into case strategy constructor.
2020-09-11 13:03:00 -07:00
fe1e0a6de0
Switch to using FILE* and default YY_INPUT.
2020-09-11 02:16:29 -07:00
1f3c42fc44
Change constructor visibility to global.
...
Constructors are always effectively global.
2020-09-10 20:11:55 -07:00
13214cee96
Try out unboxing integers.
2020-09-10 17:32:16 -07:00
579c7bad92
Enable more syntax.
2020-09-10 16:04:44 -07:00
f00a6a7783
Actually use the environment for binop functions.
2020-09-10 16:03:56 -07:00
2a81fdd9fb
Stop using mangled names for local variables.
2020-09-10 15:14:19 -07:00
17c59e595c
Add assertion regarding local name mangling.
2020-09-10 15:05:02 -07:00
ad2576eae2
Move common code into loops.
2020-09-10 14:50:03 -07:00
72d8179cc5
Add compile-time flag to disable output.
2020-09-10 14:07:28 -07:00
dbabec0db6
Tweak parsed type error warning.
2020-09-10 14:04:06 -07:00
