../ Control/Make spacing consistent13 years ago Data/Re-rename FunN all the way back to Fun.13 years ago Debug/Remove needless Prelude imports13 years ago Decidable/Renamed VectFun to FunN, added a few explanatory comments.13 years ago Language/Add "Can't solve goal" error message13 years ago Network/Use toNat to avoid %assert_total when negative Int is treated the same as 0.13 years ago Syntax/Add syntax for Agda-style reasoning over preorders13 years ago System/Fix typo in Concurrency.Raw13 years ago MakefileFix .PHONY targets in Makefiles13 years ago Providers.idrMoved libraries around, removed 'effects' flag13 years ago System.idrMoved libraries around, removed 'effects' flag13 years ago Uninhabited.idrAdd a function for dealing with absurdity13 years ago base.ipkgRe-rename FunN all the way back to Fun.13 years ago