search

derekelkins / agda-vim

Agda interaction in vim
BSD 2-Clause "Simplified" License
130 stars 47 forks source link

Add highlighting for universe level omega #60

Closed isti115 closed 3 years ago