Skip to content

Commit 0627e8a

Browse files
TanebTaneb
committed
module headers
1 parent 03dc09d commit 0627e8a

File tree

2 files changed

+12
-0
lines changed

2 files changed

+12
-0
lines changed

‎src/Data/Integer/IntConstruction.agda‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
------------------------------------------------------------------------
2+
-- The Agda standard library
3+
--
4+
-- Construction of integers as a pair of naturals
5+
------------------------------------------------------------------------
6+
17
{-# OPTIONS --safe --cubical-compatible #-}
28

39
module Data.Integer.IntConstruction where

‎src/Data/Integer/IntConstruction/Properties.agda‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
------------------------------------------------------------------------
2+
-- The Agda standard library
3+
--
4+
-- Properties of the construction of integers as a pair of naturals
5+
------------------------------------------------------------------------
6+
17
{-# OPTIONS --safe --cubical-compatible #-}
28

39
module Data.Integer.IntConstruction.Properties where

0 commit comments

Comments
 (0)