evertedsphere/shorshe Issues
Tracking: frontend, textual syntax
Updated 1Tracking: backend, codegen
UpdatedFinish implementing Oxide
UpdatedTracking: metaprogramming
UpdatedTracking: dependent typing
Updated
freshly-fermented, dependently-typed mustard, with a substructural aftertaste