• Dan Frumin's avatar
    Bit flipping example · cce140f7
    Dan Frumin authored
    - Add more binary ops to the language
    - An example refinement for module types
    cce140f7
_CoqProject 1 KB