logic.hpp

Go to the documentation of this file.

// Copyright 2022 Pierre Talbot
 
#ifndef LALA_CORE_LOGIC_HPP
#define LALA_CORE_LOGIC_HPP
 
#include "sort.hpp"
#include "ast.hpp"
#include "env.hpp"
#include "diagnostics.hpp"
#include "algorithm.hpp"
 
#endif