Sandbox::https://github.com/agda/agda-stdlib/tree/master/doc/README

Visitar URL original

agda-stdlib/doc/README at master · agda/agda-stdlib · GitHub

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
Data		Data
Debug		Debug
Design		Design
Effect/Monad		Effect/Monad
Foreign		Foreign
Function		Function
Reflection		Reflection
Relation/Binary		Relation/Binary
Tactic		Tactic
Text		Text
Axiom.agda		Axiom.agda
Case.agda		Case.agda
Data.agda		Data.agda
IO.agda		IO.agda
Inspect.agda		Inspect.agda
Nary.agda		Nary.agda