/tm-ghci

A TeXmacs plugin for running GHCi sessions

Primary LanguageMakefileMIT LicenseMIT

Watchers