Age | Commit message (Collapse) | Author | |
---|---|---|---|
2025-07-24 | Fix errors caught by type-checker. | Frederick Muriuki Muriithi | |
2025-07-24 | Implement check function. | Frederick Muriuki Muriithi | |
2025-07-24 | Replace prints with logging. | Frederick Muriuki Muriithi | |
2025-07-23 | First, very basic implementation to pass all of the (current) tests. | Frederick Muriuki Muriithi | |
2025-07-23 | Improve definition of types. | Frederick Muriuki Muriithi | |
2025-07-22 | Begin working on simple DSL for privileges checking. | Frederick Muriuki Muriithi | |