Skip to content
This repository has been archived by the owner on Apr 13, 2022. It is now read-only.

Tags: oracle/aaosl-agda

Tags

extended-paper-2021-02-23

Toggle extended-paper-2021-02-23's commit message
Super minor simplifictation to make naming convention consistent