Skip to content

Rename fls-agda executable to agda

6fe5e9c
Select commit
Loading
Failed to load commit list.
Merged

Fix rendering of vertical vectors #954

Rename fls-agda executable to agda
6fe5e9c
Select commit
Loading
Failed to load commit list.