search

haskellari / lattices

Fine-grained lattice primitives for Haskell
BSD 3-Clause "New" or "Revised" License
35 stars 15 forks source link

Pr 106 noinline laws #108

Closed phadej closed 3 years ago

phadej commented 3 years ago

Rebased #106