caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd

Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.		10 lat temu
..
Example.agda	543c2be6d6 sinatra example	17 lat temu
Prelude.agda	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	10 lat temu
Typed.agda	6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though)	13 lat temu