GitHub repository: stefan-hoeck/idris2-qutescript
Primary language: Idris
Created: 2023-06-03T04:50:10Z
Description: Writing user scripts for qutebrowser