Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
.gitignore		.gitignore
AST.idr		AST.idr
Eval.idr		Eval.idr
Main.idr		Main.idr
Parser.idr		Parser.idr
README.md		README.md
Reduce.idr		Reduce.idr
TermSupport.idr		TermSupport.idr
Tokenizer.idr		Tokenizer.idr
Tokens.idr		Tokens.idr
jimi.ipkg		jimi.ipkg
prelude.jimi		prelude.jimi
prog.jimi		prog.jimi

Repository files navigation

Jimi - a parser for Hendrix

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published

Languages

Idris 100.0%