HigherOrderCO / monobook

AGDA
22 stars 5 forks source link

Add low-level arithmetic and logical operations to Data/Bits #14

Closed Lorenzobattistela closed 1 week ago

Lorenzobattistela commented 2 weeks ago

Implement algebric algorithms directly on bits, such as:

Each one of these should be in a different file (module) under Data.Bits .