Skip to content

rafoo/dedukti-mode

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

42 Commits
 
 

About

Emacs major mode for Dedukti files

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published