These are chat archives for admk/soap
Select a day to view.
:dart: soap - Structural Optimisation of Arithmetic Programs