Lib.rs ›

agda-mode

› Reverse dependencies

agda-mode is used at run time in 1 crate.

Depender			agda-mode version
		agda-tac		^0.1.8

How this data is computed. Back to agda-mode.