pijul nest
guest › [sign in] [explore]
{/} code [~] changes [>] discussions [*] jobs

Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.

mode name
drwxr-xr-x AVL/
drwxr-xr-x Bool/
drwxr-xr-x Bytestring/
drwxr-xr-x Char/
drwxr-xr-x Container/
drwxr-xr-x Digit/
drwxr-xr-x Empty/
drwxr-xr-x Fin/
drwxr-xr-x Float/
drwxr-xr-x Graph/
drwxr-xr-x Integer/
drwxr-xr-x List/
drwxr-xr-x Maybe/
drwxr-xr-x Nat/
drwxr-xr-x Parity/
drwxr-xr-x Product/
drwxr-xr-x Rational/
drwxr-xr-x Refinement/
drwxr-xr-x Sign/
drwxr-xr-x Star/
drwxr-xr-x String/
drwxr-xr-x Sum/
drwxr-xr-x These/
drwxr-xr-x Tree/
drwxr-xr-x Trie/
drwxr-xr-x Unit/
drwxr-xr-x Universe/
drwxr-xr-x Vec/
drwxr-xr-x W/
drwxr-xr-x Word/
drwxr-xr-x Word64/
drwxr-xr-x Word8/
-rw-r--r-- AVL.agda
-rw-r--r-- Bool.agda
-rw-r--r-- Char.agda
-rw-r--r-- Container.agda
-rw-r--r-- Default.agda
-rw-r--r-- DifferenceList.agda
-rw-r--r-- DifferenceNat.agda
-rw-r--r-- DifferenceVec.agda
-rw-r--r-- Digit.agda
-rw-r--r-- Empty.agda
-rw-r--r-- Erased.agda
-rw-r--r-- Fin.agda
-rw-r--r-- Float.agda
-rw-r--r-- Integer.agda
-rw-r--r-- Irrelevant.agda
-rw-r--r-- List.agda
-rw-r--r-- Maybe.agda
-rw-r--r-- Nat.agda
-rw-r--r-- Parity.agda
-rw-r--r-- Product.agda
-rw-r--r-- Rational.agda
-rw-r--r-- Record.agda
-rw-r--r-- Refinement.agda
-rw-r--r-- Sign.agda
-rw-r--r-- String.agda
-rw-r--r-- Sum.agda
-rw-r--r-- These.agda
-rw-r--r-- Trie.agda
-rw-r--r-- Unit.agda
-rw-r--r-- Universe.agda
-rw-r--r-- Vec.agda
-rw-r--r-- W.agda
-rw-r--r-- Word.agda
-rw-r--r-- Word64.agda
-rw-r--r-- Wrap.agda