Age | Commit message (Expand) | 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 |