Commit Graph

3 Commits

Author SHA1 Message Date
Vince Weaver
662437c5cd keen: working on yorp support 2024-03-25 00:53:05 -04:00
Vince Weaver
f3f4681194 keen: clean up variable initialization
some things should be initialized at the title, some at the level
2024-03-20 01:03:28 -04:00
Vince Weaver
a091e8e7ec keen1: initial mostly working proof 2024-03-10 00:44:20 -05:00