Denis Buzdalov 874496e1ae [base] Constructor's injectivity proofs for Exists and Subset (#1118) ... Co-authored-by: G. Allais <guillaume.allais@ens-lyon.org>		2021-02-24 19:11:41 +00:00
..
Control	Zero quantities were added to some interface usages.	2021-02-12 20:51:13 +00:00
Data	[base] Constructor's injectivity proofs for Exists and Subset (#1118)	2021-02-24 19:11:41 +00:00
Debug	Add libraries	2020-05-18 14:00:08 +01:00
Decidable	[ fix #637 ] force indentation after a with	2021-02-23 10:52:22 +00:00
Language	Added comment descriptions for FC and FilePos.	2021-02-22 09:55:34 +00:00
System	[ fix #758 ] desugar non-binding sequencing in do blocks to (>>) (#1095)	2021-02-24 11:07:16 +00:00
base.ipkg	Overhaul of concurrency primitives (#968)	2021-02-05 16:16:20 +00:00
Makefile	Refactor makefiles	2020-05-19 18:50:47 +06:00
System.idr	Use the same naming convention for foreign primitives	2020-08-19 14:05:28 +01:00