Files

 master

/

src

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

MatthewDaggitt

Updated time complexity of show

Apr 15, 2019

2fe8148 · Apr 15, 2019

History

History

This branch is 1385 commits behind agda/agda-stdlib:master.

/

src

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
Algebra		Algebra	Tidied up Algebra and Algebra.Structures to make it easier to parse	Apr 15, 2019
Axiom		Axiom	Fixes for rebased commits	Mar 25, 2019
Category		Category	Changes done to accommodate the new Agda option --guardedness.	Mar 25, 2019
Codata		Codata	Fixes for rebased commits	Mar 25, 2019
Data		Data	Updated time complexity of show	Apr 15, 2019
Debug		Debug	[ fix agda#541 ] Bindings for Debug.Trace (agda#582)	Jan 13, 2019
Foreign		Foreign	[ re agda/agda#2880 ] Removing COMPILE from safe modules	Mar 25, 2019
Function		Function	[ re agda#184 ] Add additional axiom modules (agda#660)	Mar 25, 2019
IO		IO	Fixed agda#135.	Nov 26, 2018
Induction		Induction	Removed hyphens from names of WellFounded submodules (agda#657)	Mar 20, 2019
Level		Level	[ fix agda#547 ] Add --safe flags to all safe modules (agda#549)	Dec 7, 2018
Relation		Relation	[ re agda#678 ] Add faster implementation of show for naturals (agd…	Apr 15, 2019
Algebra.agda		Algebra.agda	Tidied up Algebra and Algebra.Structures to make it easier to parse	Apr 15, 2019
Function.agda		Function.agda	[ fix agda#547 ] Add --safe flags to all safe modules (agda#549)	Dec 7, 2018
IO.agda		IO.agda	Changes done to accommodate the new Agda option --guardedness.	Mar 25, 2019
Induction.agda		Induction.agda	[ fix agda#547 ] Add --safe flags to all safe modules (agda#549)	Dec 7, 2018
Level.agda		Level.agda	[ fix agda#547 ] Add --safe flags to all safe modules (agda#549)	Dec 7, 2018
Record.agda		Record.agda	[ fix agda#547 ] Add --safe flags to all safe modules (agda#549)	Dec 7, 2018
Reflection.agda		Reflection.agda	[ fix agda#506 ] Safe proof of _≟_ for String & Char (agda#640)	Mar 25, 2019
Size.agda		Size.agda	[ re agda/agda#2487 ] making sure options choices are consistent	Mar 25, 2019
Strict.agda		Strict.agda	[ fix agda#547 ] Add --safe flags to all safe modules (agda#549)	Dec 7, 2018
Universe.agda		Universe.agda	[ fix agda#547 ] Add --safe flags to all safe modules (agda#549)	Dec 7, 2018
View all files