GitHub - martinsson/DDD-and-Dependent-Types: Explorations of dependent types used for domain driven design

martinsson / DDD-and-Dependent-Types Public

Explorations of dependent types used for domain driven design

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 156 Commits
lib		lib
.gitignore		.gitignore
.gitmodules		.gitmodules
coins.idr		coins.idr
demo.idr		demo.idr
diversion.idr		diversion.idr
enum.idr		enum.idr
fizzbuzz-composable.idr		fizzbuzz-composable.idr
fizzbuzz-xav.idr		fizzbuzz-xav.idr
fizzbuzz.idr		fizzbuzz.idr
fizzbuzz_johan.idr		fizzbuzz_johan.idr
fizzbuzz_tom.idr		fizzbuzz_tom.idr
heap.idr		heap.idr
hello.idr		hello.idr
idris.ipkg		idris.ipkg
mars-rover.idr		mars-rover.idr
mixter.idr		mixter.idr
monad.idr		monad.idr
moneychange.idr		moneychange.idr
tennis-dep-simple.idr		tennis-dep-simple.idr
tennis-dependent.idr		tennis-dependent.idr
tennis-value-based.idr		tennis-value-based.idr
tennis.idr		tennis.idr
test.testable.idr		test.testable.idr
testable.idr		testable.idr
tictactoe.idr		tictactoe.idr
vadd.idr		vadd.idr