Posts

September 29, 2024 Dependent types for Datalog
September 22, 2024 Stop using REST for state synchronization
November 01, 2023 Control flow for Datalog
August 22, 2023 Type Checking with Eqlog: Polymorphism
August 06, 2023 Type Checking with Eqlog: Typing
August 05, 2023 Type Checking with Eqlog: Types
August 01, 2023 Type Checking with Eqlog: Variable Binding
July 23, 2023 Type Checking with Eqlog: Parsing