tzemanovic / plfa

guest › [sign in] [explore]

{/} code [~] changes [>] discussions [*] jobs

mode name

drwxr-xr-x Algebra/

drwxr-xr-x Axiom/

drwxr-xr-x Codata/

drwxr-xr-x Data/

drwxr-xr-x Debug/

drwxr-xr-x Effect/

drwxr-xr-x Foreign/

drwxr-xr-x Function/

drwxr-xr-x IO/

drwxr-xr-x Induction/

drwxr-xr-x Level/

drwxr-xr-x Reflection/

drwxr-xr-x Relation/

drwxr-xr-x System/

drwxr-xr-x Tactic/

drwxr-xr-x Test/

drwxr-xr-x Text/

-rw-r--r-- Algebra.agda

-rw-r--r-- Function.agda

-rw-r--r-- IO.agda

-rw-r--r-- Induction.agda

-rw-r--r-- Level.agda

-rw-r--r-- Reflection.agda

-rw-r--r-- Size.agda

-rw-r--r-- Strict.agda