JanBessai/idris-tutorial
A tutorial to the Idris Programming Language.
Developer Profile
JanBessai
Discovered public repositories for JanBessai in the GitHub catalog.
JanBessai/zeverything
validation with generic zippers
JanBessai/janbessai.github.com
Public repository.
JanBessai/Idris-dev
A Dependently Typed Functional Programming Language
JanBessai/anencoding
ANEncoding using AspectC++
JanBessai/language-java
Java parser and printer for haskell
JanBessai/Syringe
Dependency Injection code from Lambda Terms
JanBessai/LambdaExpressionParser
A small demo of how to parse lambda expressions with Antlr4
JanBessai/hsos
Run structural operational semantics as a compiler or interpreter
JanBessai/transformers-runnable
A unified interface for the run operation of monad transformers
JanBessai/dirdiff
Difference on Directories
JanBessai/Monoid-Error
Error Monad + Monoid