git.iko.soy/Idris-dev
on fa9f021 help sign in
Idris-dev/libs/base
8 folders, 5 files
../ Control/Add iso between String and List Char Data/Refactor parsing of bracketed expressions Debug/Remove needless Prelude imports Decidable/Renamed VectFun to FunN, added a few explanatory comments. Language/Change 'run' in neweffects to add defaults Network/Use toNat to avoid %assert_total when negative Int is treated the same as 0. Syntax/Add syntax for Agda-style reasoning over preorders System/Fix typo in Concurrency.Raw MakefileFix .PHONY targets in Makefiles Providers.idrAdded Functor, Applicative, and Monad Provider instances System.idrMoved libraries around, removed 'effects' flag Uninhabited.idrAdd a function for dealing with absurdity base.ipkgAdd a template for bijections to/from primitives