learnyou/lysa: Learn You Some Algebras for Glorious Good!: A math textbook that's free, fun, and easy to read! That's free, in both senses of the word. @ a809e0dc07e84b2d0d5f286cfee2443c69ed102f

Peter Harpending ddd3429290 [en][§2.1] Add start of truth table building.		vor 10 Jahren
..
.gitkeep	ba52f0a3c5 [en] Add book/code directory	vor 10 Jahren
helloworld.idr	4fec1b91e0 [en][code] Add helloworld in Idris.	vor 10 Jahren
truthtable.idr	ddd3429290 [en][§2.1] Add start of truth table building.	vor 10 Jahren