GitHub - mukeshtiwari/Idris: Codes related to Idris

First commit.

Codes related to Idris

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
Des/src/Crypto		Des/src/Crypto
Bezier.idr		Bezier.idr
Brainfuck.idr		Brainfuck.idr
DependentCal.idr		DependentCal.idr
Fact.idr		Fact.idr
Hello.idr		Hello.idr
Interpreter.idr		Interpreter.idr
LambdaCal.idr		LambdaCal.idr
Matrix.idr		Matrix.idr
Missionaries.idr		Missionaries.idr
MonadicParsing.idr		MonadicParsing.idr
Printf.idr		Printf.idr
README.md		README.md

Provide feedback