beesRawes0me

Pinned Repositories

idris2-chem
Dependently typed cheminformatics in Idris2
Language:C6 3 10
idris2-indexed-graph
Language:Idris4 3 01

beesRawes0me's Repositories

beesRawes0me doesn’t have any repository yet.